Polynomial profunctors, and several core data structures as polynomial functors

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

Implement a number of core data structures (e.g. binary trees and s-expressions) in terms of PolyFunc
Introduce a notion (and implementation) of the "polynomial profunctor" -- the structure upon which I think Geb's category-specification API will be built