https://av.tib.eu/media/20745
Using the internal language of toposes in algebraic geometry - TIB AV-Portal
We describe how the internal language of certain toposes, the associated petit and gros Zariski toposes of a scheme, can be used to give simpler denitions and...
internal languagealgebraic geometryusingtoposestib
https://www.carmin.tv/en/collections/toposes-online/video/toposes-of-presheaves-on-monoids-as-generalized-topological-spaces
Toposes of presheaves on monoids as generalized topological spaces | Vidéo | Carmin.tv
topological spacestoposespresheavesmonoidsgeneralized