Actegories for the Working Amthematician

• Published in 2022
• Added on 2025-09-26

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.

Links

• http://arxiv.org/abs/2203.16351v3
• http://arxiv.org/pdf/2203.16351v3

Other information

BibTeX entry

@article{ActegoriesfortheWorkingAmthematician,
	key = {ActegoriesfortheWorkingAmthematician},
	type = {article},
	title = {Actegories for the Working Amthematician},
	author = {Matteo Capucci and Bruno Gavranovi{\'{c}}},
	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.},
	comment = {},
	date_added = {2025-09-26},
	date_published = {2022-09-26},
	urls = {http://arxiv.org/abs/2203.16351v3,http://arxiv.org/pdf/2203.16351v3},
	collections = {attention-grabbing-titles},
	url = {http://arxiv.org/abs/2203.16351v3 http://arxiv.org/pdf/2203.16351v3},
	year = 2022,
	urldate = {2025-09-26},
	archivePrefix = {arXiv},
	eprint = {2203.16351},
	primaryClass = {math.CT}
}