Not signed in (Sign In)

Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.

    • CommentAuthorKevin Lin
    • CommentTimeDec 26th 2009 edited

    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.

    • CommentAuthorrwbarton
    • CommentTimeDec 26th 2009
    BTW, in the (k,n)-category scheme, I've been trying to use [infinity-categories] for the case k = infinity, and [higher-category-theory] for the case n > 1 (which are not mutually exclusive, of course).

    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?

    Scott, I think you may be looking for "k-tuply monoidal (m,n)-category".