Post #1684314

@antoinechambertloir I have my own approach: http://tac.mta.ca/tac/volumes/26/29/26-29abs.html But what I proved is more or less disjoint from what Makkai proved, which was aimed purely at straight-up category theory and usual tools for that. I was aiming at what I needed for dealing with geometric stacks.