Initial and terminal objects. Definition 1.1. Let C be a category. (a) An object ⊥ of C is initial if |C(⊥,X) ...
確定! 回上一頁