Further development of PFS endofunctors and dependent endofunctors - 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

Further development of PFS endofunctors and dependent endofunctors #38

Closed rokopt closed 1 year ago

rokopt commented 1 year ago

Some new formulations of endofunctors on slices of PFS
Some more increasingly reflective definitions of PFS endofunctors