This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topics include local set theories, fundamental properties of toposes, sheaves, local-valued sets, and natural and real numbers in local set theories.
- ISBN: 978-0-486-46286-8
- Editorial: Dover
- Encuadernacion: Rústica
- Páginas: 288
- Fecha Publicación: 11/01/2008
- Nº Volúmenes: 1
- Idioma: Inglés