Category:圏論
グロタンディーク宇宙
Grothendieck universe自己同型
Automorphism普遍性
Universal property群の直積
Direct product of groups自己準同型環
Endomorphism ringウィリアム・ローヴェア
William Lawvereザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem普遍代数学
Universal algebraCatamorphism
CatamorphismF代数
F-algebra位相の特徴付け
Axiomatic foundations of topological spacesF余代数
F-coalgebraTemplate:圏論
Template:Category theoryアブストラクト・ナンセンス
Abstract nonsense宇宙 (数学)
Universe (mathematics)埋め込み (数学)
Embedding共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)極限 (圏論)
Limit (category theory)圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)CPL (圏論プログラミング言語)
始代数
Initial algebra射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)双対 (圏論)
Dual (category theory)束 (位相幾何学)
Bundle (mathematics)バラエティ (普遍代数学)
Variety (universal algebra)モナド (プログラミング)
Monad (functional programming)