topos-theory

Here are 3 public repositories matching this topic...

Notes on how to use the internal language of toposes in algebraic geometry

Some notes on the independence of the continuum hypothesis.

topos-theory boring-math

A McCord Functor for Alexandroﬀ Categories

thesis mathematics category-theory topos-theory

Add a description, image, and links to the topos-theory topic page so that developers can more easily learn about it.

To associate your repository with the topos-theory topic, visit your repo's landing page and select "manage topics."