iblech/internal-methods

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

语言：TeX · GitHub 星标：66 · Fork：3

话题：algebraic-geometry · categorical-logic · mathematics · sheaf-theory · topos-theory

在 GitHub 上查看原仓库