All Questions

I wonder whether there is (or should be) a theory of colored $(\infty,n)$-operads or multicategories? We know that multicategories are generalizations of categories, and nonsymmetric colored $\infty$-...

I would like to find explicit definitions of pseudo, or even lax, algebras for a 2-monad, and their lax morphisms, with all the coherence diagrams included. Alternatively, coherent lax algebras for ...