nLab
closed functor

Context

Category theory

Monoidal categories

Contents

Idea

Just as a functor is a homomorphism between categories, so a closed functor is a homomorphism between closed categories. Like monoidal functors, closed functors come in varying levels of strictness and strength.

Definition

A strict closed functor is a functor F:CDF : C \to D between closed categories that preserves all the structure on the nose. In particular, it must preserve the internal homs and the unit object:

F(I C)=I D, F(I_C) = I_D ,
F([X,Y])=[F(X),F(Y)]. F([X,Y]) = [F(X),F(Y)].

but it should also preserve all of the additional structure transformations. Strict closed functors are not common “in nature” (due to the problem of evil), but they are sometimes useful to consider in syntactic studies of closed categories, as for example in coherence problems.

More commonly occurring in nature are functors that preserve the closed structure merely up to a transformation, which may perhaps be invertible. Just as lax monoidal functors are often called simply “monoidal functors,” the “lax” sort of closed functor for which the transformation is not invertible are often called simply closed functors, the ones where it is invertible being called strong.

To be precise: a (lax) closed functor between closed categories CC and DD is a functor F:CDF\colon C\to D together with:

  • A transformation F^:F([X,Y] C)[F(X),F(Y)] D\hat{F}\colon F([X,Y]_C) \to [F(X),F(Y)]_D, natural in XX and YY.

  • A morphism F 0:I DF(I C)F^0\colon I_D \to F(I_C).

which satisfy the following axioms.

  • The following diagram commutes for any XX.

    F(I C) F(j) F([X,X]) F 0 F^ I D j [F(X),F(X)]\array{F(I_C) & \overset{F(j)}{\to} & F([X,X])\\ ^{\mathllap{F^0}}\uparrow && \downarrow^{\mathrlap{\hat{F}}}\\ I_D & \underset{j}{\to} & [F(X),F(X)]}
  • The following diagram commutes for any XX.

    F([I,X]) F^ [F(I),F(X)] F(j) [F 0,1] F(X) j [I,F(X)]\array{F([I,X]) & \overset{\hat{F}}{\to} & [F(I),F(X)]\\ ^{\mathllap{F(j)}}\downarrow && \downarrow^{\mathrlap{[F^0 ,1]}}\\ F(X) & \underset{j}{\to} & [I,F(X)]}
  • The following diagram commutes for any X,Y,ZX,Y,Z.

    F([Y,Z]) F(L) F([[X,Y],[X,Z]]) F^ [F([X,Y]),F([X,Z])] F^ [1,F^] [F(Y),F(Z)] L [[F(X),F(Y)],[F(X),F(Z)]] [F^,1] [F([X,Y]),[F(X),F(Z)]]\array{F([Y,Z]) & \overset{F(L)}{\to} & F([[X,Y],[X,Z]]) & \overset{\hat{F}}{\to} & [F([X,Y]),F([X,Z])]\\ ^{\mathllap{\hat{F}}}\downarrow &&&& \downarrow^{\mathrlap{[1,\hat{F}]}}\\ [F(Y),F(Z)] & \underset{L}{\to} & [[F(X),F(Y)],[F(X),F(Z)]] & \underset{[\hat{F},1]}{\to} & [F([X,Y]),[F(X),F(Z)]]}

A strong closed functor is a closed functor such that F^\hat{F} and F 0F^0 are isomorphisms.

Together with closed natural transformations, closed categories and closed functors form a 2-category.

Examples

Example

Suppose that CC and DD are closed monoidal categories. Then any lax monoidal functor F:CDF\colon C\to D gives rise to a lax closed functor by defining F 0F^0 to be the unit constraint of FF, and F^:F([X,Y])[F(X),F(Y)]\hat{F}\colon F([X,Y]) \to [F(X),F(Y)] to be the adjunct under the internal-hom adjunction of the composite

F([X,Y])F(X)F([X,Y]X)F(Y). F([X,Y]) \otimes F(X) \to F([X,Y] \otimes X) \to F(Y).

Conversely, from a lax closed functor between closed monoidal categories we can recover a lax monoidal functor, with multiplication constraint F(X)F(Y)F(XY)F(X)\otimes F(Y) \to F(X\otimes Y) being adjunct to the composite

F(X)F([Y,XY])[F(Y),F(XY)] F(X) \to F([Y,X\otimes Y]) \to [F(Y), F(X\otimes Y)]

where the map X[Y,XY]X\to [Y,X\otimes Y] is adjunct to the identity of XYX\otimes Y. In this way, lax monoidal and lax closed functors between closed monoidal categories are in bijective correspondence.

Note, however, that for such a functor to be strong monoidal or strong closed are generally independent conditions. Since any lax (or strong) monoidal functor is automatically a lax closed functor, the term closed monoidal functor is usually used to mean one which is strong closed.

Example

The same idea works more generally for closed unital multicategories, since arbitrary “multifunctors” between multicategories correspond to lax monoidal functors.

Remark

However, there does not seem to be a natural notion of “colax” functor between closed categories. One could, of course, simply ask for transformations in the other direction, but such things do not seem to arise much in practice, and would not correspond to colax monoidal functors in the same way.

Example

If CC and DD are cartesian closed categories, then any functor F:CDF\colon C\to D is automatically colax monoidal, and it is strong (hence also lax) monoidal iff it preserves products. By the above argument, any product-preserving functor between cartesian closed categories is automatically a lax closed functor. If it is moreover a strong closed functor, we call it a cartesian closed functor. (See also locally cartesian closed functor.)

Example

An adjoint triple of functors between symmetric closed monoidal categories is a “Wirthmüller context of six operations” when the middle functor is closed monoidal.

References

Revised on December 9, 2013 14:09:25 by Urs Schreiber (89.204.155.125)