A list of works and resources about double category theory, with a particular focus on applications.
-
Updated
Oct 19, 2022
#
double-categories
Here are 2 public repositories matching this topic...
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
Improve this page
Add a description, image, and links to the double-categories topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the double-categories topic, visit your repo's landing page and select "manage topics."