Category:圏論
自然変換
Natural transformation始代数
Initial algebraCatamorphism
Catamorphism自己準同型環
Endomorphism ring関手
FunctorF代数
F-algebra余代数
Coalgebra前加法圏
Preadditive category傾理論
Tilting theoryF余代数
F-coalgebraTemplate:圏論
Template:Category theory宇宙 (数学)
Universe (mathematics)埋め込み (数学)
Embedding共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)極限 (圏論)
Limit (category theory)圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)CPL (圏論プログラミング言語)
射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)双対 (圏論)
Dual (category theory)束 (位相幾何学)
Bundle (mathematics)バラエティ (普遍代数学)
Variety (universal algebra)モナド (プログラミング)
Monad (functional programming)モナド (圏論)
Monad (category theory)点付き空間
Pointed spaceコンマ圏
Comma categoryアブストラクト・ナンセンス
Abstract nonsense