你即將離開本站

並前往https://agda.github.io/agda-categories/Categories.Functor.Hom.html

Categories.Functor.Hom

Functor.Hom where -- The Hom Functor from C.op × C to Setoids, -- the two 1-argument version fixing one object -- and some notation for the version where ...

確定！ 回上一頁

查詢 「Hom functor」的人也找了：

  1. Hom functor left exact
    2.
  2. Small category
    3.
  3. Category math
    4.
  4. Natural transformation
    5.
  5. Faithful functor
    6.
  6. Morphism
    7.
  7. Limit category
    8.
  8. Exact functor
    9.