notes for functional programmers

Jump to bottom

Ryan Wisnesky edited this page Apr 14, 2019 · 1 revision

Functors and natural transformations
Kan extensions
Algebraic theories
Monads and comonads
Regular theories + the chase
Polynomial functors

Sigma -| Delta -| Pi