你即將離開本站

並前往https://ncatlab.org/homotopytypetheory/show/hom+functor

hom functor in Homotopy Type Theory

The hom-sets of a precategory are functorial in nature. 2. Definition. For any precategory A, we have a hom-functor. homA:Aop×A→Set.

確定！ 回上一頁

查詢 「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.