Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
The entry (eso, fully faithful) factorization system gives no support for its claim. It’s not hard to see, but needs some care. Is there a reference that we could point to, for a decent proof?
Maybe Street, Characterization of bicategories of stacks?
Thanks. I haven’t checked that yet. But Anthony Bordg tells me that he found it in Dupont-Vitale 03, 7.9, example 2
I have added that pointer to the entry.
1 to 3 of 3