Iterated icons

zbMATH Open1316.18003arXiv1308.6495MaRDI QIDQ5248249FDOQ5248249

Authors: Eugenia Cheng, Nick Gurski 

Publication date: 28 April 2015

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.

Full work available at URL: https://arxiv.org/abs/1308.6495

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Icons
• The low-dimensional structures formed by tricategories
• The periodic table of \(n\)-categories. II: Degenerate tricategories
• A bicategory of decorated cospans
• The Catalan simplicial set II
• 2-Dimensional Categories
• Categories enriched on two sides
• The monoidal structure of strictification
• Infinite loop spaces, and coherence for symmetric monoidal bicategories
• Elements of a theory of algebraic theories

zbMATH Keywords

enriched categorysymmetric monoidal bicategoryicon

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Enriched categories (over closed or monoidal categories) (18D20)

Cited In (11)

• How strict is strictification?
• The 2-dimensional stable homotopy hypothesis
• Strictification of categories weakly enriched in symmetric monoidal categories
• Title not available (Why is that?)
• Stable Postnikov data of Picard 2-categories
• Weak vertical composition. II: Totalities
• Icons
• The symmetric monoidal 2-category of permutative categories
• Title not available (Why is that?)
• \(K\)-theory for 2-categories
• Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem

This page was built for publication: Iterated icons

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5248249)