Timeline for Models for, and motivation for, (oo,n)-categories for general n
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Feb 4, 2010 at 22:32 | vote | accept | Kevin H. Lin | ||
| Dec 27, 2009 at 5:39 | comment | added | Mike Shulman | I agree mostly, but I would prefer a model for (∞,n)-categories to produce not just the (∞,1)-category of (∞,n)-categories but the (∞,n+1)-category of them. And I would expect simplicial strict n-categories to be too strict. Also, in addition to n-CSS and Θ-spaces, there is a Simpson-Tamsamani approach; I know some people are working on comparing all these, but I don't know of results yet. Finally, any definition of ω-categories, such as Batanin's globular one, can be specialized to (∞,n) by requiring m-cells to be invertible for m>n. | |
| Dec 26, 2009 at 16:52 | history | answered | Reid Barton | CC BY-SA 2.5 |