Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with topos-theory
A curated list of projects in awesome lists tagged with topos-theory .
https://github.com/iblech/internal-methods
Notes on how to use the internal language of toposes in algebraic geometry
algebraic-geometry categorical-logic mathematics sheaf-theory topos-theory
Last synced: 13 Nov 2024
https://github.com/jozefg/independence-of-the-continuum-hypothesis
Some notes on the independence of the continuum hypothesis.
Last synced: 30 Nov 2024
