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.
I expanded Street fibration a bit, and created equivalence of 2-categories to discuss the notion classically called “biequivalence.” I also noticed that for a long time the page equivalence of categories has claimed at the end that Bicat is (weakly) equivalent to Str2Cat, which I’m pretty sure is not true, so I fixed it.
Hmm, yes, I wonder how that got in there. We know that the inclusion is essentially surjective though (I suppose this is only true when thinking of them as 3-categories)
1 to 2 of 2