category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
monoidal dagger-category?
A cartesian closed functor is a functor between cartesian closed categories which preserves both products and exponential objects/internal homs (all the structure of cartesian closed categories).
More precisely, if preserves products, then the canonical morphisms (for all objects ) are isomorphisms, and we therefore have canonical induced morphism β the adjuncts of the composite . is cartesian closed if these maps are also isomorphisms.
When cartesian closed categories are identified with cartesian monoidal categories that are also closed monoidal, a cartesian closed functor can be identified with a strong monoidal functor which is also strong closed.
(Frobenius reciprocity)
Let be a functor between cartesian closed categories with a left adjoint . Then is cartesian closed precisely if the natural transformation
is an isomorphism.
The above natural transformation is the mate of the exponential comparison natural transformation under the composite adjunctions
and
This is called the Frobenius reciprocity law. It is discussed, for instance, as (Johnstone, lemma 1.5.8). More generally for closed monoidal categories (not necessarily cartesian monoidal) it is discussed in βWirthmΓΌller contextsβ in
Let still and be as above.
If is full and faithful and preserves binary products, then is cartesian closed.
For instance (Johnstone, corollary A1.5.9).
For a locally cartesian closed category and a morphism, the base change/pullback functor between the slice categories
is cartesian closed.
In particular the inverse image functor of an Γ©tale geometric morphism between toposes is cartesian closed and hence constitutes a cartesian WirthmΓΌller context.
The functor has a left adjoint
given by postcomposition with (the dependent sum along ). Therefore by prop. 1 it is sufficient to show that for all in and that
in . But this is the pasting law for pullbacks in , which says that the two consecutive pullbacks on the left of
are isomorphic to the direct pullback along the composite on the right.
cartesian closed category, locally cartesian closed category
cartesian closed functor, locally cartesian closed functor
cartesian closed model category, locally cartesian closed model category
cartesian closed (β,1)-category locally cartesian closed (β,1)-category
For instance section A1.5 of
Also
Last revised on December 9, 2013 at 03:32:37. See the history of this page for a list of all contributions to it.