Similar to 自然変換
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theoremCPL (圏論プログラミング言語)
自己準同型環
Endomorphism ring自己同型
Automorphism始代数
Initial algebra射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)前加法圏
Preadditive category双対 (圏論)
Dual (category theory)束 (位相幾何学)
Bundle (mathematics)点付き空間
Pointed space点付き集合
Pointed setバラエティ (普遍代数学)
Variety (universal algebra)普遍性
Universal property普遍代数学
Universal algebra豊穣圏
Enriched categoryモナド (プログラミング)
Monad (functional programming)モナド (圏論)
Monad (category theory)余代数
Coalgebra米田の補題
Yoneda lemmaウィリアム・ローヴェア
William Lawvere