Category:圏論
双対 (圏論)
Dual (category theory)
束 (位相幾何学)
Bundle (mathematics)
バラエティ (普遍代数学)
Variety (universal algebra)
モナド (プログラミング)
Monad (functional programming)
モナド (圏論)
Monad (category theory)
点付き空間
Pointed space
前加法圏
Preadditive category
豊穣圏
Enriched category
点付き集合
Pointed set
位相の特徴付け
Axiomatic foundations of topological spaces
ウィリアム・ローヴェア
William Lawvere
完全系列
Exact sequenceアブストラクト・ナンセンス
Abstract nonsense
Kan拡張
Kan extension
グロタンディーク位相
Grothendieck topology
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
圏同値
Equivalence of categories
普遍性
Universal property
グロタンディーク宇宙
Grothendieck universe
自然変換
Natural transformation
