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

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 08:50