2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2024★ 1 cited
The Patch Topology in Univalent Foundations
Igor Arrieta, Martín Hötzel Escardó, Ayberk Tosun
Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previo…
math.CT2020
The coframe of D-sublocales of a locale and the duality
Igor Arrieta, Anna Laura Suarez
The notion of \emph{D-sublocale} is explored. This is the notion analogue to that of sublocale in the duality of spaces. A sublocale of a frame is a D-sublocale if and…
math.GN2020★ 2 cited
On infinite variants of De Morgan law in locale theory
Igor Arrieta
A locale, being a complete Heyting algebra, satisfies De Morgan law for pseudocomplements. The dual De Morgan law (here r…