5 problems
Let be a presentably symmetric monoidal -category. Let be the -category whose objects are…
Let be a Lawvere theory admitting a symmetric monoidal structure compatible with finite products. Consider the -categories of…
General recognition conjecture. Under these hypotheses, if is an -enriched open and faithful functor, then is an equivalence.
Enriched icon conjecture. For every symmetric monoidal -category , there is a symmetric monoidal -category of categories…
Let be a small category, let MXM\operatorname{-Cat}hX…