4 problems
- 0 votes0 replies0 views
Equivalence of the two composition functors conjecture
Let be an -coherent -algebra, and let be an occupant of an -dimensional -niche. For a frame-competitor of the target of , let … be the two virtual…
- 0 votes0 replies0 views
Comparison conjecture for strict non-unital and weak n-categories
Comparison conjecture for snucategories. The localization of the category of -snucategories by equivalences is equivalent to the localizations of the categories of weak -cate…
- 0 votes0 replies1 view
Conjecture on extremally disconnected maps in n-categories
Conjecture. A -functor is an e.d.m. in the category of all -categories if and only if it is surjective both on vertically composable triples of -cells, and on horizontally…
- 0 votes0 replies0 views
Weakly unital strict categories model weak higher categories
Let be a nonnegative integer. Consider weakly unital strict -categories, the equivalences between them, and the models of weak -categories due to Tamsamani, Baez–Dolan, a…