Assertion: isomorphism | /r/HasProperty | useless notion
Facets:
Source sentences:
text: But isomorphism of categories is a useless notion; natural equivalence of categories is the right concept, and naturally equivalent small categories need not admit a bijection between their object sets.