Sheaf Representation for Topoi

Abstract

Steve Awodey. Sheaf Representation for Topoi

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Sheaf toposes for realizability.Steven Awodey & Andrej Bauer - 2008 - Archive for Mathematical Logic 47 (5):465-478.
Continuity and logical completeness: an application of sheaf theory and topoi.Steve Awodey - 2000 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 139--149.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
The representation of Popper measures.Wolfgang Spohn - 1986 - Topoi 5 (1):69-74.
Primitive representation and misrepresentation.Ken Warmbrōd - 1992 - Topoi 11 (1):89-101.
Space, time, and the representation of geographical reality.Antony Galton - 2001 - Topoi 20 (2):173-187.
Algebraic Models of Sets and Classes in Categories of Ideals.Steve Awodey, Henrik Forssell & Michael A. Warren - unknown
Algebraic Models of Intuitionistic Theories of Sets and Classes.Steve Awodey & Henrik Forssell - unknown
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Introduction.Steve Giambrone - 1994 - Topoi 13 (1):1-2.
Sheaf Spaces on Finite Closed sets.W. James - 1995 - Logique Et Analyse (138):175-188.
Predication, fiction, and artificial intelligence.William J. Rapaport - 1991 - Topoi 10 (1):79-111.

Analytics

Added to PP
2010-09-14

Downloads
28 (#555,203)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steve Awodey
Carnegie Mellon University

Citations of this work

What is the world of mathematics?J. Lambek - 2004 - Annals of Pure and Applied Logic 126 (1-3):149-158.
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 151--161.
Continuity and logical completeness: an application of sheaf theory and topoi.Steve Awodey - 2000 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 139--149.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references