你即將離開本站

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

Categories.Functor.Limits

OPTIONS --without-K --safe #-} module Categories.Functor.Limits where open import Level open import Categories.Category open import Categories.

確定！ 回上一頁

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

  1. Comma category
    2.
  2. Small category
    3.
  3. Dual category
    4.
  4. Category math
    5.
  5. Limit nlab
    6.
  6. Complete category
    7.
  7. Equalizer category
    8.
  8. Concrete category
    9.