A specialised computer algebra system for topos theory.
functional-programming
functions
cubes
algebraic-geometry
squares
topos-theory
sets
categorical-logic
sheaf-theory
double-category
applied-category-theory
topos
higher-dimensional
hypercubes
presheaf-theory
double-categories
sierpinski-topos
-
Updated
Nov 1, 2023 - Clojure