The enriched icon construction for symmetric monoidal higher categories

Let nn be a positive integer and let E{\mathcal {E}} be a symmetric monoidal (n+1)(n+1)-category. An E{\mathcal {E}}-icon construction assigns to E{\mathcal {E}} a symmetric monoidal (n+1)(n+1)-category of categories weakly enriched in E{\mathcal {E}}, weak functors, and icon-like higher morphisms.

Enriched icon conjecture. For every symmetric monoidal (n+1)(n+1)-category E{\mathcal {E}}, there is a symmetric monoidal (n+1)(n+1)-category E-Icon{\mathcal {E}}\text{-Icon} of categories weakly enriched in E{\mathcal {E}}, 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 n=1n=1 is supplied by the generalized icon construction in the paper, while the higher-dimensional case involves weak nn-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

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.