Reference. Using the internal language of toposes in algebraic geometry [IngoBlechschmidtInternalLanguageAG]
Reference. Using the internal language of toposes in algebraic geometry [IngoBlechschmidtInternalLanguageAG]
https://rawgit.com/iblech/internal-methods/master/notes.pdf