3 problems

A bipermutative category has additive and multiplicative symmetric permutative structures, with the multiplicative structure distributing over the additive one. A symmetric bimonoi…

Pseudoadjunction conjecture. There is a pseudoadjunction between the locally discrete 2-category of bicategorical graphs and the 2-category of bicategories, pseudofunctors and icon…

For an integer $m$, let $\mathbf{sSet}^m$ denote the category of stratified simplicial sets and let $\infty\text{-}\mathbf{Cat}^m$ denote the category of marked strict $\infty$-cat…