Further development of `PolyFunc` and foundations of term language - Githubissues

anoma / geb

A Categorical View of Computation

https://anoma.github.io/geb/

GNU General Public License v3.0

28 stars 10 forks source link

Further development of `PolyFunc` and foundations of term language #4

Closed rokopt closed 2 years ago

rokopt commented 2 years ago

Several developments including:

More PolyFunc catamorphism forms
Complete definition of polynomial natural transformations
Yoneda and CoYoneda abstractions drawn from Haskell implementations
Codensity drawn from Haskell implementations
New polynomial functor which defines term language