REVIEW 2 cited by
Actegories for the Working Amthematician
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
Actions of monoidal categories on categories, also known as actegories, have been familiar to category theorists for a long time, and yet a comprehensive overview of this topic seems to be missing from the literature. Recently, actegories have been increasingly employed in applied category theory, thereby encouraging an effort to fill this gap according to the new needs of these applications. This work started as an investigation of the notion of monoidal actegory, a compatible pair of monoidal and actegorical structures, and ended up including a sizable reference on the elementary theory of actegories. We cover basic definitions and results on actegories and biactegories, spelling out explicitly many folkloric definitions, including their tensor product and their hom-tensor adjunction. We give new definitions of actegories with monoidal, braided monoidal and symmetric monoidal structure. In the last section, we provide three Cayley-like classification results for these structures.
Forward citations
Cited by 2 Pith papers
-
The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
Poly_* is uniform traced, so Int(Poly_*) is a compact double category whose wiring-diagram operad models control flow together with data transformations.
-
Logical relations for call-by-push-value models, via internal fibrations in a 2-category
A 2-categorical fibrational framework gives a uniform notion of logical relations for CBPV models, with a pullback theorem that constructs new relational models from old ones.
Discussion (0). Continue with ORCID to comment.