Sheaves and conditional sets

2014/03/21 by Asgar Jamneshan, Jamneshan, Asgar
Computer Science · Mathematics · #03C95 #Advanced Topology and Set Theory #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Mathematics

paper · pdf · doi:10.48550/arxiv.1403.5405

openalex publication_date 2014/03/21 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

The purpose of this note is to record a connection between sheaves on complete Boolean algebras and conditional sets. This connection yields a transfer principle for conditional set theory. On the other hand we use conditional set theory to interpret the internal objects of a respective sheaf topos.

Related

• Sheaves of Algebras over Boolean Spaces
• Abstract sheaf theory
• The logic of sheaves, sheaf forcing and the independence of the Continuum Hypothesis
• Brief Notes on Sheaves Theory
• Sheaf Representations and Duality in Logic