你即將離開本站

並前往https://agda.github.io/agda-categories/Categories.Object.Biproduct.html

Categories.Object.Biproduct

OPTIONS --without-K --safe #-} open import Categories.Category -- Biproducts, a-la Karvonen. -- -- This definition has advantages over more traditional ones ...

確定！ 回上一頁

查詢 「Biproduct」的人也找了：

  1. By product
    2.
  2. Side product
    3.
  3. byproduct
    4.
  4. By-product meaning
    5.
  5. Abelian category
    6.
  6. Direct sum
    7.
  7. Kernel category
    8.
  8. Product universal property
    9.