Categories, toposes and sets

Synthese 51 (3):293 - 337 (1982)
  Copy   BIBTEX

Abstract

This paper is an introduction to topos theory which assumes no prior knowledge of category theory. It includes a discussion of internal logic in a topos, A characterization of the category of sets, And an investigation of the notions of topology and sheaf in a topos

Categories

Keywords

Reprint years

DOI

10.1007/bf00485258

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Weak Choice Principle WISC may Fail in the Category of Sets.David Michael Roberts - 2015 - Studia Logica 103 (5):1005-1017.
Paraconsistency in Categories: Case of Relevance Logic.Vladimir L. Vasyukov - 2011 - Studia Logica 98 (3):429-443.
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.Joanna Golińska-Pilarek & Taneli Huuskonen - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
An abstract elementary class nonaxiomatizable in.Simon Henry - 2019 - Journal of Symbolic Logic 84 (3):1240-1251.
On Transferring Model Theoretic Theorems of $${\mathcal{L}_{{\infty},\omega}}$$ L ∞, ω in the Category of Sets to a Fixed Grothendieck Topos.Nathanael Leedom Ackerman - 2014 - Logica Universalis 8 (3-4):345-391.
A Very Short Introduction to Topos Theory (adapted from Prof. Pettigrew’s notes).Eric Schmid - manuscript
Algebraic Models of Intuitionistic Theories of Sets and Classes.Steve Awodey & Henrik Forssell - unknown

Analytics

Added to PP
2009-01-28

Downloads
129 (#169,980)

6 months
10 (#404,653)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

Studies in logical theory.John Dewey - 1903 - New York: AMS Press.
From absolute to local mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.
Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.
Logic, quantum logic and empiricism.John Bell & Michael Hallett - 1982 - Philosophy of Science 49 (3):355-379.

View all 9 citations / Add more citations

References found in this work

[Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
Topoi: The Categorial Analysis of Logic.R. I. Goldblatt - 1982 - British Journal for the Philosophy of Science 33 (1):95-97.
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.

Add more references