Category theory MOC Isomorphism of categories An isomorphism of categories is a functor with a proper inverse such that and . cat The categories and are thence said to be isomorphic, denoted . This is usually too strong, and more typically one deals with the weaker Equivalence of categories . tidy | en | sembr