Morphism

Isomorphism

An isomorphism is a fully invertible morphism, i.e. in a category , is an isomorphism iff there exists such that cat

It is important to note that the inverse must exist in the same category, and hence

graph LR;
  bijection["bijection (concrete)"]
  mopic["monic and epic"]
  isomorphism ==>|implies| bijection ==>|implies| mopic

Consider, for example, a bijective continuous map that are not homeomorphism.

---

tidy | en | sembr