More on (co)monads, categories as comonads, slice categories, STLC-to-CCC - 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

More on (co)monads, categories as comonads, slice categories, STLC-to-CCC #8

Closed rokopt closed 1 year ago

rokopt commented 1 year ago

Expand various areas:

Define equivalence of categories and polynomial comonads
Define polynomial functors between slice categories
Define Kan extensions
Implement product of polynomial monads as polynomial monad
Define a simple STLC and translate it to SubstObjMu/SubstMorph