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. 1988 edition.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.

Title | : | Toposes and Local Set Theories |

Author | : | J. L. Bell |

Publisher | : | Courier Corporation - 2008-01 |

Continue