topos-theory

There are 0 repository under topos-theory topic.

fdilke / bewl
A DSL for the internal language of a topos
math topos-theory category-theory dsl algebraic-structures
Language:Scala 58
b-mehta / topos
Topos theory in lean
leanprover topos-theory
Language:Lean 50
iblech / internal-methods
Notes on how to use the internal language of toposes in algebraic geometry
mathematics topos-theory algebraic-geometry categorical-logic sheaf-theory
Language:TeX 50
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
jozefg / independence-of-the-continuum-hypothesis
Some notes on the independence of the continuum hypothesis.
boring-math topos-theory
Language:TeX 7
nasosev / topos-tool
Computational tool for tiny presheaf topoi
topos-theory category-theory fsharp
Language:F# 3
MathDOPE_
enjoysmath / MathDOPE_
DatabaseOfProofsEngine is a web application for students & researchers of math that are studying arrow-theoretic topics.
category-theory topos-theory homological-algebra mathematics math proof proof-theory commutative-diagram network-visualization neo4j neo4j-database python python3 javascript quiver graph-database bootstrap5 bootstrap-studio web-application mobile-app
Language:JavaScript 2
quiver-bee
enjoysmath / quiver-bee
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.
advanced-mathematics arrows bootstrap bootstrap-studio category-theory commutative-diagrams diagram-editor diagrams homological-algebra javscript mathematics network-graphs quiver static-site topos-theory diagram-chasing katex latex tikzcd
Language:JavaScript 2
rwols / MasterThesis
A McCord Functor for Alexandroﬀ Categories
thesis mathematics category-theory topos-theory
Language:TeX 2
nayelidelcarmengn16 / nayelic-gn
multivalued-logic topos-theory algebraic-processing-signals category-theory-and-machine-learning
0