sheaf-theory topic
List
sheaf-theory repositories
internal-methods
51
Stars
3
Forks
Watchers
Notes on how to use the internal language of toposes in algebraic geometry
locus
17
Stars
1
Forks
Watchers
A specialised computer algebra system for topos theory.