Natural transformation composition, (co)monads, categories

anoma / geb

A Categorical View of Computation

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

GNU General Public License v3.0

28 stars 10 forks source link

Closed rokopt closed 1 year ago

rokopt commented 1 year ago

Many more polynomial-functor utilities:

Composition of polynomial natural transformations (vertical, horizontal, whiskering)
Monad/comonad laws
Beginning of category/comonad correspondence
Several new formulas for operations in Poly