Mathematics – Category Theory
Scientific paper
2012-02-05
Mathematics
Category Theory
32 pages
Scientific paper
We present some laws relating the $\Cat$-indexed categories of left, right and bi-actions: by defining $(A\comp M)x = Mx^{Ax}$ one gets a biclosed monoidal action of $\Set^{X\op}$ on $(\Set^X)\op$, while $\B X$ and $\Cat/X$ act (partially) on their opposites by exponentials; both the inclusions $(\B X,\B X)\to (\Set^{X\op},\Set^X) \to (\Cat/X,\Cat/X)$ preserve the (cartesian) monoidal structures and the actions, and the same holds for substitutions along functors. These strong morphisms of strong indexed monoidal actions have in fact a wider range of applications; in particular, replacing $\Set$ with any (co)complete symmetric monoidal closed category $\V$, we consider the pair of indexed categories $(\V_0^{X\op},\V_0^X ; X\in\Cat)$ with the pair of biclosed indexed monoidal actions of each one on the opposite of the other one and its formal relationships with biactions and constant actions. Some of the resulting laws also hold in a fragment of biclosed bicategory (with an object supporting a symmetric monoidal category) and are taken, in the second part, as the basis for developing some abstract category theory. Finally, we add $\Set^{X\op\tm X}$ to the picture and give a symmetrical version of the comprehension adjunction.
No associations
LandOfFree
On indexed actions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On indexed actions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On indexed actions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-117484