Category:圏論
圏論
Category theory普遍性
Universal property自己同型
Automorphism米田の補題
Yoneda lemmaグロタンディーク宇宙
Grothendieck universe普遍代数学
Universal algebra群準同型
Group homomorphism位相の特徴付け
Axiomatic foundations of topological spaces群の直積
Direct product of groups完全系列
Exact sequenceKan拡張
Kan extension関手
Functorザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem余代数
CoalgebraF代数
F-algebraCatamorphism
Catamorphism点付き集合
Pointed set前加法圏
Preadditive category圏同値
Equivalence of categories可換図式
Commutative diagram圏論の基礎
Categories for the Working Mathematician点付き空間
Pointed space傾理論
Tilting theoryF余代数
F-coalgebraTemplate:圏論
Template:Category theory宇宙 (数学)
Universe (mathematics)埋め込み (数学)
Embedding共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)