NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

Definition. iso [kostecki2011introduction, 2.3] [tt-000D]
✍️source

    An arrow \(f : X \to Y\) is iso, or \(X\) and \(Y\) are isomorphic, denoted \(X \cong Y\), or \(X \xrightarrow {\sim } Y\), if the diagram

    commutes, where \(!g\) means there exists a unique arrow \(g\), and \(g\) is called the inverse of \(f\), denoted \(f^{-1}\).

    "Iso" is short for "isomorphism", which is a generalization of the concept of bijective (one-to-one and onto) functions.