isomorphism in Polish

(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).