A DSL for the internal language of a topos
-
Updated
Apr 7, 2024 - Scala
#
topos-theory
Here are 9 public repositories matching this topic...
Notes on how to use the internal language of toposes in algebraic geometry
-
Updated
Sep 28, 2024 - TeX
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
Some notes on the independence of the continuum hypothesis.
-
Updated
May 20, 2019 - TeX
Computational tool for tiny presheaf topoi
-
Updated
Feb 13, 2021 - F#
A McCord Functor for Alexandroff Categories
-
Updated
Mar 31, 2017 - TeX
A rewrite of the Quiver frontend to use Bootstrap CSS so that it can be used as a diagram editor on all platforms having a web browser.
bootstrap
latex
mathematics
static-site
category-theory
katex
diagrams
javscript
quiver
arrows
topos-theory
diagram-editor
homological-algebra
commutative-diagrams
advanced-mathematics
tikzcd
bootstrap-studio
network-graphs
diagram-chasing
-
Updated
Dec 6, 2023 - JavaScript
-
Updated
Jan 18, 2024
Improve this page
Add a description, image, and links to the topos-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the topos-theory topic, visit your repo's landing page and select "manage topics."