Example 1.1.4. Every set \(X\) gives rise to an anima, which we will again denote by \(X\). Given two elements \(x,y \in X\), the anima \(X(x,y)\) of equalities between \(x\) and \(y\) is either the one-point anima (if \(x = y\)) or the empty anima (if \(x \neq y\)).
Generated from the authoritative LaTeX source.