An isomorphism of categories is a functor
with a proper inverse such that and . #m/def/cat/evil
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.