Gambino, N orcid.org/0000-0002-4257-3590 (2008) The associated sheaf functor theorem in algebraic set theory. Annals of Pure and Applied Logic, 156 (1). pp. 68-77. ISSN 0168-0072
Abstract
We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves on the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | Copyright © 2008 Elsevier B.V. All rights reserved. This is an author produced version of a paper published in Annals of Pure and Applied Logic. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | Algebraic set theory; Sheaves; Presheaves; Grothendieck site |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 22 Aug 2019 14:49 |
Last Modified: | 22 Aug 2019 14:49 |
Status: | Published |
Publisher: | Elsevier |
Identification Number: | 10.1016/j.apal.2008.06.008 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:113165 |