(category theory) A morphism which has a two-sided inverse; the composition of the morphism and such an inverse yields either one of two identity morphisms (depending on the order of composition).
Esimerkit
The postulated isomorphism between words and things constitutes the characterizing feature of all philosophically based universal languages.