
TL;DR
This paper explores laws relating indexed categories of actions, their monoidal structures, and their applications in abstract category theory, extending to biclosed bicategories and symmetric comprehension adjunctions.
Contribution
It introduces new laws for indexed actions and their monoidal structures, extending the framework to biclosed bicategories and general symmetric monoidal categories.
Findings
Indexed actions preserve monoidal structures and actions under certain inclusions.
The laws extend to biclosed bicategories with symmetric monoidal objects.
A symmetrical version of the comprehension adjunction is developed.
Abstract
We present some laws relating the -indexed categories of left, right and bi-actions: by defining one gets a biclosed monoidal action of \Set^{X\op} on (\Set^X)\op, while and 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 , we consider the pair of indexed categories 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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsConstraint Satisfaction and Optimization
