EPISODE · Dec 20, 2019 · 12 MIN
Functors and catamorphisms
from Iowa Type Theory Commute · host Aaron Stump
More about the structured recusion scheme known as the catamorphism. Basic idea of functors.
What this episode covers
More about the structured recusion scheme known as the catamorphism. Basic idea of functors.
NOW PLAYING
Functors and catamorphisms
No transcript for this episode yet
Similar Episodes
Mar 4, 2026 ·7m
Feb 22, 2026 ·9m
Feb 8, 2026 ·11m
Feb 2, 2026 ·12m
Jan 30, 2026 ·31m
Jan 29, 2026 ·39m