Iterated icons
classification
🧮 math.CT
keywords
monoidalbicategorysymmetriccategoriesenrichediteratedcellsconstruction
read the original abstract
We study the totality of categories weakly enriched in a monoidal bicategory using a notion of enriched icon as 2-cells. We show that when the monoidal bicategory in question is symmetric then this process can be iterated. We show that starting from the symmetric monoidal bicategory Cat and performing the construction twice yields a convenient symmetric monoidal bicategory of partially strict tricategories. We show that restricting to the doubly degenerate ones immediately gives the correct bicategory of "2-tuply monoidal categories" missing from our earlier studies of the Periodic Table. We propose a generalisation to all k-tuply monoidal n-categories.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.