Sheaves and conditional sets

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.

References in corpus (1)

• The algebra of conditional sets and the concepts of conditional topology and compactness

Cited by in corpus (3)

• The algebra of conditional sets and the concepts of conditional topology and compactness
• An uncountable Furstenberg--Zimmer structure theory
• On compactness in $L^0$-modules