topos-theory topic

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

iblech

Topos theory in lean

b-mehta

A DSL for the internal language of a topos

fdilke

A specialised computer algebra system for topos theory.

locusmath