你即將離開本站

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

Categories.Object.Cokernel

https://ncatlab.org/nlab/show/cokernel module Categories.Object.Cokernel {o ℓ e} {𝒞 : Category o ℓ e} (𝟎 : Zero 𝒞) where open import Level open import ...

確定！ 回上一頁

查詢 「Cokernel」的人也找了：

  1. Cokernel
    2.
  2. Epimorphism
    3.
  3. Exact sequence
    4.
  4. Kernel category
    5.
  5. Coimage
    6.
  6. Abelian category
    7.
  7. Morphism
    8.
  8. Quotient space
    9.