Category:圏論
圏論
Category theoryグロタンディーク宇宙
Grothendieck universe群の直積
Direct product of groupsグロタンディーク位相
Grothendieck topology自己準同型環
Endomorphism ringザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem普遍性
Universal propertyCatamorphism
Catamorphism圏同値
Equivalence of categoriesウィリアム・ローヴェア
William LawvereF代数
F-algebra米田の補題
Yoneda lemma関手
Functor前加法圏
Preadditive categoryTemplate:圏論
Template:Category theoryF余代数
F-coalgebra宇宙 (数学)
Universe (mathematics)埋め込み (数学)
Embedding共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)極限 (圏論)
Limit (category theory)クローン–ローズの定理
Krohn–Rhodes theory圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)CPL (圏論プログラミング言語)
射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)双対 (圏論)
Dual (category theory)束 (位相幾何学)
Bundle (mathematics)