Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
While writing at k-morphism, I noticed there is no article on globular operad (aka Batanin operad), so I wrote one. Experts please look over, and improve if desired.
I have edited a little bit at globular operad:
formatted a bit, as usual;
added pointers to the globular theory of a globular operad
added as an example strict $\omega$-categories and their characterization as globular set with globular Segal condition
1 to 2 of 2