Development of dependent polynomial functors, density comonad, and Kan extensions - 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

Development of dependent polynomial functors, density comonad, and Kan extensions #19

Closed rokopt closed 1 year ago

rokopt commented 1 year ago

fmap for dependent polynomial functors
natural transformations between dependent polynomial functors
initial algebras of dependent polynomial endofunctors
terminal coalgebras of dependent polynomial endofunctors
fix left Kan extension definition
define density comonad operations