👉 In mathematics, a "thievery" is a category in which all morphisms are invertible. This means that for every object \(X\) and every morphism \(f\colon X \to Y\) between two objects \(X\) and \(Y\), there exists an inverse morphism \(f^{-1}\colon Y \to X\) such that \(f = f^{-1} \circ f\). In other words, for any object \(X\) in the thiev