你即將離開本站

並前往https://unimath.github.io/doc/UniMath/4dd5c17/UniMath.CategoryTheory.Abelian.html

Library UniMath.CategoryTheory.Abelian - GitHub Pages

Kernels, Cokernels, CoImage, and Image. Definition Kernel {x y : A} (f : x ... apply (CokernelOut (to_Zero A) (CoImage f) y f (CoIm_ar_eq f)). Defined.

確定！ 回上一頁

查詢 「Coimage」的人也找了：

  1. isomorphism theorems
    2.
  2. first isomorphic theorem
    3.
  3. cokernel surjective
    4.
  4. first isomorphism theorem category theory
    5.
  5. fundamental theorem of isomorphism
    6.
  6. abelian category
    7.
  7. isomorphism of modules
    8.
  8. image of an element
    9.