A specialised computer algebra system for topos theory.
research functional-programming functions cubes research-project squares topos-theory categorical-logic double-category applied-category-theory topos first-class-functions higher-dimensional hypercubes presheaf-theory double-categories sierpinski-topos
-
Updated
Jun 23, 2024 - Clojure