Similar to Catamorphism
傾理論
Tilting theory
圏 (数学)
Category (mathematics)
圏同値
Equivalence of categories
圏論の基礎
Categories for the Working Mathematician
降下理論 (圏論)
Density theorem (category theory)
コンマ圏
Comma category
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
CPL (圏論プログラミング言語)
自己準同型環
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 LawvereFor文
For loop
Iterator パターン
Iterator pattern
イテレータ
Iterator
カーソル (データベース)
Cursor (databases)