issues
search
anoma
/
geb
A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28
stars
10
forks
source link
Two more components of category-defining API
#13
Closed
rokopt
closed
1 year ago
rokopt
commented
1 year ago
Adjoint (un)folds and conjugate (para-)hylomorphisms
Formula for parallel product of polynomial functors