Category:圏論
米田の補題
Yoneda lemma
関手
Functor
圏同値
Equivalence of categories
自然変換
Natural transformation
自己同型
Automorphismアブストラクト・ナンセンス
Abstract nonsense
傾理論
Tilting theory
Catamorphism
Catamorphism
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
グロタンディーク位相
Grothendieck topology
オペラド
Operad
Template:圏論
Template:Category theory
F余代数
F-coalgebra
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)
極限 (圏論)
Limit (category theory)
クローン–ローズの定理
Krohn–Rhodes theory
圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)
CPL (圏論プログラミング言語)
自己準同型環
Endomorphism ring射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)
双対 (圏論)
Dual (category theory)
束 (位相幾何学)
Bundle (mathematics)
バラエティ (普遍代数学)
Variety (universal algebra)
モナド (プログラミング)
Monad (functional programming)
