Sheaves and conditional sets
Category Theory
2019-12-03 v5
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.
Keywords
Cite
@article{arxiv.1403.5405,
title = {Sheaves and conditional sets},
author = {Asgar Jamneshan},
journal= {arXiv preprint arXiv:1403.5405},
year = {2019}
}