Category:圏論
米田の補題
Yoneda lemma関手
Functor自然変換
Natural transformation圏同値
Equivalence of categoriesアブストラクト・ナンセンス
Abstract nonsenseCatamorphism
Catamorphism前加法圏
Preadditive category群の直積
Direct product of groups点付き空間
Pointed spaceTemplate:圏論
Template:Category theoryF余代数
F-coalgebra宇宙 (数学)
Universe (mathematics)埋め込み (数学)
Embedding共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)極限 (圏論)
Limit (category theory)クローン–ローズの定理
Krohn–Rhodes theory圏 (数学)
Category (mathematics)圏論の基礎
Categories for the Working Mathematician降下理論 (圏論)
Density theorem (category theory)CPL (圏論プログラミング言語)
自己準同型環
Endomorphism ring射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)双対 (圏論)
Dual (category theory)束 (位相幾何学)
Bundle (mathematics)バラエティ (普遍代数学)
Variety (universal algebra)モナド (プログラミング)
Monad (functional programming)モナド (圏論)
Monad (category theory)