Let A be a category, enriched in a closed category V.
(V closed) means, in particular, that (for all X,Y∈V there is an internal hom [X,Y]∈V, satisfying certain axioms).
(A enriched in V) implies that (for all A,B∈A there is a hom object AAB∈V, satisfying certain axioms).
To say that (A admits powers and copowers relative to V) means precisely that,
(for all X∈V and A,B∈A there are isomorphisms in V as shown below, V-natural in all their variables).
Shown below the isomorphisms are (the units and counits associated with those natural isomorphisms)
(the identifier Eval is overloaded, relying on context to disambiguate occurrences of it).
AAX⋔B¯()≅[X,AAB]~()≅X⊙AABA→EvalAAB⋔BXπ→X⋔BAB‖X→ιAAX⊙AAAB⊙A→EvalB
The following display shows how (an Xf→AAB in V0) determines (Aˉf→X⋔B and X⊙A˜f→B in A0), and vice versa,
using the units and counits of the isomorphisms (whatever they may be named).
A0V0A0Xπ↙↘ιX⋔BX⋔BAB↓fAAX⊙AX⊙Af⋔B↑↖ˉfˉfAB↘↙AA˜f˜f↙↓f⊙AAAB⋔B←EvalAAABB←EvalAAB⊙A
No comments:
Post a Comment