research
∙
04/30/2019
Overlap Algebras: a constructive look at complete Boolean algebras
The notion of a complete Boolean algebra, although completely legitimate...
share
research
∙
12/20/2018
Factorizing the Top-Loc adjunction through positive topologies
We characterize the category of Sambin's positive topologies as a fibrat...
research
∙
01/29/2018
