# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorMike Shulman
• CommentTimeNov 1st 2010

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.

• CommentRowNumber2.
• CommentAuthorDavidRoberts
• CommentTimeNov 1st 2010

Hmm, yes, I wonder how that got in there. We know that the inclusion $Str2Cat \to Bicat$ is essentially surjective though (I suppose this is only true when thinking of them as 3-categories)