Elementary toposes

• 8 December 1994
• book chapter
• Published by Cambridge University Press (CUP)
• p. 288-341
• https://doi.org/10.1017/cbo9780511525872.007

Abstract

Keywords

• CARTESIAN CLOSED
• POWER
• NATURAL TRANSFORMATION
• BIMODULE
• DUAL CATEGORY
• TENSOR
• HEYTING ALGEBRA
• SUBOBJECT CLASSIFIER
• MODIFICATION
• SYMMETRIC
• CONE
• PRESHEAF
• CATEGORY
• PROFUNCTOR
• CARTESIAN CLOSED CATEGORY
• END
• SLICE
• HILBERT SPACES
• TOPOS
• FUNCTOR