Publication:3999489

zbMath0751.18001MaRDI QIDQ3999489

Jonathan Chapman, Frederick Rowbottom

Publication date: 17 September 1992

zbMATH Keywords

topos; formal language; internal categories; geometric morphisms; local set theory; indexed categories over a topos; Mitchell-Bénabou language

Mathematics Subject Classification ID

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03G30: Categorical logic, topoi

18B25: Topoi

18-02: Research exposition (monographs, survey articles) pertaining to category theory

18A15: Foundations, relations to logic and deductive systems

Related Items

Category theory and the foundations of mathematics: philosophical excavations.