Skip to main content
6 events
when toggle format what by license comment
Oct 10, 2023 at 11:01 comment added Simon Pepin Lehalleur This is very interesting! Do you know if there is a way, in the $n=1$ case, to "recover" the weak Kan lifting condition from this kind of arguments, and thus go towards a "model-independent" proof that $Cat_1$ is equivalent to the quasicategorical model? I would be happy with a circular argument, as long as it "justifies" the quasicategorical model from abstract $(∞,1)$-categorical considerations.
Sep 11, 2022 at 14:08 history edited Tim Campion CC BY-SA 4.0
added 65 characters in body
Sep 11, 2022 at 14:02 history edited Tim Campion CC BY-SA 4.0
added 1 character in body
Sep 11, 2022 at 13:55 history edited Tim Campion CC BY-SA 4.0
deleted 7 characters in body
Sep 10, 2022 at 23:18 vote accept Tim Campion
Sep 10, 2022 at 23:16 history answered Tim Campion CC BY-SA 4.0