Timeline for Generation of object-internal structure in a strict 2-category
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 14, 2009 at 1:56 | vote | accept | Harry Gindi | ||
| Dec 11, 2009 at 20:25 | comment | added | Harry Gindi | Yeah, that's what I meant. Thanks. | |
| Dec 11, 2009 at 17:23 | comment | added | Mike Shulman | Do you mean, is there an embedding of a strict n-category C into the strict n-category of internal (n-1)-categories in C^1? I think that should probably work as long as C has strict finite n-limits. | |
| Dec 11, 2009 at 5:01 | comment | added | Harry Gindi | Does the strict case hold for n? It seems like the argument should work for any strict n-category satisfying those properties. | |
| Dec 11, 2009 at 4:00 | history | answered | Mike Shulman | CC BY-SA 2.5 |