Similar to Catamorphism
極限 (圏論)
Limit (category theory)グロタンディーク位相
Grothendieck topologyグロタンディーク宇宙
Grothendieck universe群の直積
Direct product of groups傾理論
Tilting theory圏 (数学)
Category (mathematics)圏同値
Equivalence of categories圏論の基礎
Categories for the Working Mathematician降下理論 (圏論)
Density theorem (category theory)コンマ圏
Comma categoryザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theoremCPL (圏論プログラミング言語)
自己準同型環
Endomorphism ring自然変換
Natural transformation図式 (圏論)
Diagram (category theory)前加法圏
Preadditive category双対 (圏論)
Dual (category theory)束 (位相幾何学)
Bundle (mathematics)点付き空間
Pointed space点付き集合
Pointed setバラエティ (普遍代数学)
Variety (universal algebra)普遍性
Universal property普遍代数学
Universal algebra豊穣圏
Enriched categoryモナド (圏論)
Monad (category theory)余代数
Coalgebra米田の補題
Yoneda lemmaウィリアム・ローヴェア
William Lawvere