tea.mathoverflow.net - Discussion Feed (Tags for higher category theory)2019-07-18T17:37:37-07:00http://mathoverflow.tqft.net/
Lussumo Vanilla & Feed Publisher
Mike Shulman comments on "Tags for higher category theory" (1230)http://mathoverflow.tqft.net/discussion/113/tags-for-higher-category-theory/?Focus=1230#Comment_12302009-12-27T22:07:18-08:002019-07-18T17:37:37-07:00Mike Shulmanhttp://mathoverflow.tqft.net/account/80/
Scott, I think you may be looking for "k-tuply monoidal (m,n)-category".
Ilya Nikokoshev comments on "Tags for higher category theory" (1196)http://mathoverflow.tqft.net/discussion/113/tags-for-higher-category-theory/?Focus=1196#Comment_11962009-12-26T13:37:10-08:002019-07-18T17:37:37-07:00Ilya Nikokoshevhttp://mathoverflow.tqft.net/account/22/
I forgot what happened with the [derived-stuff] tag — we had it at some point, right?
I forgot what happened with the [derived-stuff] tag — we had it at some point, right?
]]>
Scott Morrison comments on "Tags for higher category theory" (1195)http://mathoverflow.tqft.net/discussion/113/tags-for-higher-category-theory/?Focus=1195#Comment_11952009-12-26T13:28:08-08:002019-07-18T17:37:37-07:00Scott Morrisonhttp://mathoverflow.tqft.net/account/3/
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?
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?
]]>
rwbarton comments on "Tags for higher category theory" (1193)http://mathoverflow.tqft.net/discussion/113/tags-for-higher-category-theory/?Focus=1193#Comment_11932009-12-26T07:00:15-08:002019-07-18T17:37:37-07:00rwbartonhttp://mathoverflow.tqft.net/account/6/
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, ...
Kevin Lin comments on "Tags for higher category theory" (1190)http://mathoverflow.tqft.net/discussion/113/tags-for-higher-category-theory/?Focus=1190#Comment_11902009-12-26T01:11:30-08:002019-07-18T17:37:37-07:00Kevin Linhttp://mathoverflow.tqft.net/account/25/
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. ...
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.