Category:圏論
双対 (圏論)
Dual (category theory)束 (位相幾何学)
Bundle (mathematics)バラエティ (普遍代数学)
Variety (universal algebra)モナド (プログラミング)
Monad (functional programming)モナド (圏論)
Monad (category theory)余代数
Coalgebra圏同値
Equivalence of categoriesコンマ圏
Comma category傾理論
Tilting theory点付き集合
Pointed setKan拡張
Kan extensionウィリアム・ローヴェア
William Lawvere自然変換
Natural transformation群準同型
Group homomorphismオペラド
Operad関手
Functorグロタンディーク位相
Grothendieck topology前加法圏
Preadditive category米田の補題
Yoneda lemmaグロタンディーク宇宙
Grothendieck universe