presheaf-theory

There are 0 repository under presheaf-theory topic.

locusmath / locus
A specialised computer algebra system for topos theory.
double-categories functions sets squares cubes higher-dimensional functional-programming topos topos-theory applied-category-theory hypercubes algebraic-geometry presheaf-theory sheaf-theory double-category sierpinski-topos categorical-logic
Language:Clojure 17