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: 02 Mar 2025
https://github.com/jozefg/independence-of-the-continuum-hypothesis
Some notes on the independence of the continuum hypothesis.
Last synced: 23 Mar 2025
