你即將離開本站

並前往https://agda.github.io/agda-stdlib/Category.Functor.html

Category.Functor

OPTIONS --without-K --safe #-} module Category.Functor where open import Function hiding (Morphism) open import Level open import Relation.Binary.

確定！ 回上一頁

查詢 「Functor category」的人也找了：

  1. Small category
    2.
  2. functor中文
    3.
  3. Natural transformation
    4.
  4. Limit category
    5.
  5. Category math
    6.
  6. Adjoint functor
    7.
  7. Hom functor
    8.
  8. Yoneda lemma
    9.