Tabulation Tribulations
Article URL: https://bartoszmilewski.com/2026/05/23/tabulation-tribulations/ Comments URL: https://news.ycombinator.com/item?id=48294672 Points: 1 # Comments: 0
Bartosz Milewski
C++
Catégorie des profoncteurs ℙrof
Haskell
Évolution chronologique
-
Tabulation Tribulations : une exploration des catégories doubles et des profoncteurs
Un billet technique approfondit la notion de tabulation dans les catégories doubles comme généralisation du graphe d’un profoncteur, en s’appuyant sur la théorie des catégories et...