up:: 027 MOC Category Theory Given a Category , objects , and morphisms and , we say that (and/or ) is an isomorphism if these morphisms are inverses, in the sense that1 Thus, and are said to be isomorphic. Footnotes means “first , then “. Namely: . ↩