Sheaves and conditional sets
From MaRDI portal
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.
This page was built for publication: Sheaves and conditional sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6250025)
