Answer by Mike Shulman for Can equivalences be strictified to isomorphisms?
It appears that the answer to the corresponding question for symmetric Gray-monoids is yes; this was shown by Schommer-Pries and cleanly reformulated by Gurski-Johnson-Osorno. Nick says that he thinks...
View ArticleAnswer by Mike Shulman for Can equivalences be strictified to isomorphisms?
I'm surprised that I didn't notice this immediately, and that no one else pointed it out either.Every category is equivalent to a skeletal one. Therefore, every bicategory is (bi)equivalent to one...
View ArticleCan equivalences be strictified to isomorphisms?
In category theory there are lots of examples of isomorphisms that cannot be strictified to become identities. For instance, every monoidal category is equivalent to a strict monoidal category, where...
View Article
More Pages to Explore .....
