Timeline for Ordinal category theory?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 13, 2012 at 17:53 | comment | added | Buschi Sergio | YOu can find a more simple algebraic description of $\omega$-category (stright generalizable to infinite cardinals) in R. Street "The algebra of oriented simplexes" J. Pure Appl. Alg.49 (math.mq.edu.au/~street/aos.pdf) | |
| May 13, 2012 at 17:52 | comment | added | Buschi Sergio | Its a old folklore property, for example P.Johnstone "Topos theory" p.48, remark. 2.13. That double categories are Cat-object (internal categories) inside Cat (this last is the category of Cat object come from JW Gray, Formal category theory Lnm 391, or R. Brown article "Double categorie, 2.categories, thin-structures, connections" (is mentioned as a result, no more hard than a nice exercise). | |
| May 13, 2012 at 17:04 | comment | added | Martin Brandenburg | Thanks! Can you give a reference for the isomorphism $\mathrm{Cat} \cong \mathrm{Fun}_c(\Delta^{\mathrm{op}},\mathrm{Set})$? The functor is probably the nerve, which is fully faithful, but I haven't come across this description of the image. | |
| May 13, 2012 at 11:36 | history | answered | Buschi Sergio | CC BY-SA 3.0 |