Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
I think we need a tag for higher category theory. Any suggestions? How about [n-categories]?
Edit: Oops. I just noticed [higher-category-theory] already exists. My bad. Please disregard this post. Moderators can go ahead and delete this, if it's possible.
BTW, does anyone ever extend the (k,n) naming scheme to a (k,n,m) scheme for categories with k invertible levels, n "interesting" levels, and m "boring" (i.e. monoidal) levels?
I forgot what happened with the [derived-stuff] tag — we had it at some point, right?
1 to 5 of 5