- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Categories, toposes and sets
Synthese 51 (3):293 - 337 (1982)
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 toposAuthor's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Relating first-order set theories and elementary toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
Accessible categories, saturation and categoricity.Jiří Rosický - 1997 - Journal of Symbolic Logic 62 (3):891-901.
Relating first-order set theories, toposes and categories of classes.Steve Awodey, Carsten Butz, Alex Simpson & Thomas Streicher - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
How culture might constrain color categories.Debi Roberson & Catherine O'hanlon - 2005 - Behavioral and Brain Sciences 28 (4):505-506.
Book Review: Colin McLarty. Elementary Categories, Elementary Toposes. [REVIEW]Jean-Pierre Marquis - 1998 - Notre Dame Journal of Formal Logic 39 (3):436-445.
Analytics
Added to PP
2009-01-28
Downloads
115 (#154,724)
6 months
6 (#514,728)
2009-01-28
Downloads
115 (#154,724)
6 months
6 (#514,728)
Historical graph of downloads
Author's Profile
Citations of this work
Eight journals over eight decades: a computational topic-modeling approach to contemporary philosophy of science.Christophe Malaterre, Francis Lareau, Davide Pulizzotto & Jonathan St-Onge - 2020 - Synthese 199 (1-2):2883-2923.
Logic, quantum logic and empiricism.John Bell & Michael Hallett - 1982 - Philosophy of Science 49 (3):355-379.
Structuralist reduction concepts as structure-preserving maps.Thomas Mormann - 1988 - Synthese 77 (2):215 - 250.
References found in this work
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-g9b9l uwo