terminal object as zero object in a pointed category
1. Proposition
Let \(\mathcal{C}\) be a pointed category and \(1 \in \mathrm{Ob}(\mathcal{C})\) the terminal object Then \(1 \cong 0\) is canonically isomorphic to the zero object
Let \(\mathcal{C}\) be a pointed category and \(1 \in \mathrm{Ob}(\mathcal{C})\) the terminal object Then \(1 \cong 0\) is canonically isomorphic to the zero object
Date: nil
Created: 2024-10-14 Mo 08:50