Similar to 前加法圏
普遍代数学
Universal algebra豊穣圏
Enriched categoryモナド (プログラミング)
Monad (functional programming)モナド (圏論)
Monad (category theory)余代数
Coalgebra米田の補題
Yoneda lemmaウィリアム・ローヴェア
William Lawvere大きい圏
ガロア圏
Grothendieck's Galois theory関手圏
Functor category局所的に小さい圏
クライスリ圏
Kleisli categoryスタック (層理論)
Stack (mathematics)層 (数学)
Sheaf (mathematics)淡中圏
Tannakian formalism小さい圏
デカルト閉圏
Cartesian closed categoryデカルトモノイド圏
Cartesian monoidal category導来圏
Derived categoryトポス (数学)
Topos反対圏
Opposite category部分圏
Subcategoryモノイド
Monoidモノイド圏
Monoidal categoryモノイド閉圏
Closed monoidal category離散圏
Discrete category(19308) 1996 TO66
(19308) 1996 TO66フリースタイルスキー・ワールドカップ
FIS Freestyle Ski World Cup