Timeline for What's the cardinality of a higher category?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 7, 2015 at 3:52 | vote | accept | Vivek Shende | ||
| Apr 6, 2015 at 23:27 | comment | added | Qiaochu Yuan | Everywhere that you say "category" you should say "groupoid." There is a notion of the cardinality of a category which takes into account non-invertible morphisms; it appears e.g. in work of Tom Leinster (arxiv.org/abs/math/0610260) and produces a classical invariant for posets. | |
| Apr 6, 2015 at 22:22 | answer | added | André Henriques | timeline score: 12 | |
| Apr 6, 2015 at 21:53 | history | asked | Vivek Shende | CC BY-SA 3.0 |