Similar to 米田の補題
束 (位相幾何学)
Bundle (mathematics)点付き空間
Pointed space点付き集合
Pointed setバラエティ (普遍代数学)
Variety (universal algebra)普遍性
Universal property普遍代数学
Universal algebra豊穣圏
Enriched categoryモナド (プログラミング)
Monad (functional programming)モナド (圏論)
Monad (category theory)余代数
Coalgebraウィリアム・ローヴェア
William Lawvere