Processing math: 100%

Friday, April 25, 2014

Powers and copowers

Let A be a category, enriched in a closed category V.
(V closed) means, in particular, that (for all X,YV there is an internal hom [X,Y]V, satisfying certain axioms).
(A enriched in V) implies that (for all A,BA there is a hom object AABV, satisfying certain axioms).
To say that (A admits powers and copowers relative to V) means precisely that,
(for all XV and A,BA 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). AAXB¯()[X,AAB]~()XAABAEvalAABBXπXBABXιAAXAAABAEvalB
The following display shows how (an XfAAB in V0) determines (AˉfXB and XA˜fB in A0), and vice versa,
using the units and counits of the isomorphisms (whatever they may be named). A0V0A0XπιXBXBABfAAXAXAfBˉfˉfABAA˜f˜ffAAABBEvalAAABBEvalAABA

No comments:

Post a Comment

MathJax 2.7.9