Quartz 5
Search
Search
Dark mode
Light mode
Explorer
math/category
14 items with this tag.
Jun 28, 2026
自然変換
math/category
Jun 28, 2026
忘却関手
math/category
Jun 28, 2026
圏論
math/category
Jun 28, 2026
『圏論入門 Haskellで計算する具体例から』
book
math/category
haskell
Jun 28, 2026
van Laarhoven lens
lang/fp
math/category
haskell
Jun 28, 2026
string diagram
math/category
圏論は具体的なのでクソ
term
Jun 28, 2026
pullback
math/category
Jun 28, 2026
alg-d 『壱大整域』
math/category
May 21, 2023
Catamorphism
math/category
Nov 22, 2022
充満関手
math/category
Nov 22, 2022
忠実関手
math/category
Nov 22, 2022
関手
math/category
Nov 21, 2022
『圏論の地平線』
wip
book
math/category
Sep 15, 2021
Comonad
math/category
lang/fp