The zero object, also by definition, must be an initial object, which means that a morphism {0} → A must exist and be unique for an arbitrary object A. This ...
確定! 回上一頁