Timeline for Is there a higher analog of "category with all same side inverses is a groupoid"?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 11, 2022 at 20:32 | history | edited | Martin Brandenburg | CC BY-SA 4.0 |
deleted 2 characters in body
|
| Dec 11, 2022 at 20:32 | comment | added | Emily | (Here are some precise references for the proposition you cited, in case other people might find it helpful :) 1) HTT, Page 53, Proposition 1.2.5.1, 2) Joyal's Quasi-categories and Kan complexes, Page 3, Corollary 1.4, 3) Kerodon Tag 019D) | |
| Dec 11, 2022 at 6:08 | vote | accept | მამუკა ჯიბლაძე | ||
| Dec 11, 2022 at 6:06 | history | answered | Simon Henry | CC BY-SA 4.0 |