你即將離開本站

並前往https://proofwiki.org/wiki/Initial_Object_is_Unique

Initial Object is Unique - ProofWiki

Theorem. Let C be a metacategory. Let 0 and 0′ be two initial objects of C. Then there is a unique isomorphism u:0→0′.

確定！ 回上一頁

查詢 「Initial object」的人也找了：

  1. Initial object
    2.
  2. strictly initial object
    3.
  3. Free object
    4.
  4. Limit nlab
    5.
  5. Zero object
    6.
  6. Group object
    7.
  7. Comma category
    8.
  8. Coproduct
    9.