The enriched icon construction for symmetric monoidal higher categories
The enriched icon construction for symmetric monoidal higher categories
Let be a positive integer and let be a symmetric monoidal -category. An -icon construction assigns to a symmetric monoidal -category of categories weakly enriched in , weak functors, and icon-like higher morphisms.
Enriched icon conjecture. For every symmetric monoidal -category , there is a symmetric monoidal -category of categories weakly enriched in , weak functors, and icon-like higher morphisms.
This is proposed as part of a general construction of the correct totalities of degenerate higher categories. The case is supplied by the generalized icon construction in the paper, while the higher-dimensional case involves weak -categories and is not yet well understood; the formalism for the required higher icon-like morphisms does not yet exist.
Sources & referencesView supporting material
Primary source
Eugenia Cheng and Nick Gurski, “Iterated icons”, arXiv:1308.6495 (2013).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.