-
The DeMorganization of a locale
Authors:
Igor Arrieta
Abstract:
In 2009, Caramello proved that each topos has a largest dense subtopos whose internal logic satisfies De Morgan law (also known as the law of the weak excluded middle). This finding implies that every locale has a largest dense extremally disconnected sublocale, referred to as its DeMorganization. In this paper, we take the first steps in exploring the DeMorganization in the localic context, shedd…
▽ More
In 2009, Caramello proved that each topos has a largest dense subtopos whose internal logic satisfies De Morgan law (also known as the law of the weak excluded middle). This finding implies that every locale has a largest dense extremally disconnected sublocale, referred to as its DeMorganization. In this paper, we take the first steps in exploring the DeMorganization in the localic context, shedding light on its geometric nature by showing that it is always a fitted sublocale and by providing a concrete description. The main result of the paper is that for any metrizable locale (without isolated points), its DeMorganization coincides with its Booleanization. This, in particular, implies that any extremally disconnected metric locale (without isolated points) must be Boolean, generalizing a well-known result for topological spaces to the localic setting.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
The Patch Topology in Univalent Foundations
Authors:
Igor Arrieta,
Martín Hötzel Escardó,
Ayberk Tosun
Abstract:
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 previously given by the second-named author. This proof can be easily translated to univalent type theory using resizing axioms. In this work, we show how to achieve such a translation without resizing axioms, by working with…
▽ More
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 previously given by the second-named author. This proof can be easily translated to univalent type theory using resizing axioms. In this work, we show how to achieve such a translation without resizing axioms, by working with large and locally small frames with small bases. This requires predicative reformulations of several fundamental concepts of locale theory in predicative HoTT/UF, which we investigate systematically.
△ Less
Submitted 2 May, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Mid-infrared optical properties of pyrolytic boron nitride in the 390 to 1050 $^{\circ}$C temperature range using spectral emissivity measurements
Authors:
Iñigo González de Arrieta,
Telmo Echániz,
Raquel Fuente,
Leire del Campo,
Domingos De Sousa Meneses,
Gabriel Alejandro López,
Manuel José Tello
Abstract:
This paper shows a systematic experimental and theoretical study on the temperature dependence of the infrared optical properties of pyrolytic boron nitride (pBN), from 390 to 1050 $^{\circ}$CC for wavelengths between 4 and 16 μm. The temperature dependence of these properties has never been analyzed before. The measured emissivity spectra were fitted to a dielectric function model and an effectiv…
▽ More
This paper shows a systematic experimental and theoretical study on the temperature dependence of the infrared optical properties of pyrolytic boron nitride (pBN), from 390 to 1050 $^{\circ}$CC for wavelengths between 4 and 16 μm. The temperature dependence of these properties has never been analyzed before. The measured emissivity spectra were fitted to a dielectric function model and an effective medium approximation. The phonon frequencies and dielectric constants agreed well with room temperature experimental values from the literature, as well as with ab initio and first principles calculations. In addition, the phonon frequencies of the perpendicular mode and the dielectric constants of the parallel mode showed an appreciable parabolic temperature dependence, which justifies the interest of more theoretical efforts in order to explain this behavior. Finally, the results of this work demonstrate that thermal emission spectroscopy allows obtaining the values of the optical and dielectric parameters of impure ceramic materials in a simple manner as a function of temperature.
△ Less
Submitted 1 February, 2024; v1 submitted 23 January, 2024;
originally announced January 2024.
-
Localic separation and the duality between closedness and fittedness
Authors:
Igor Arrieta
Abstract:
There are a number of localic separation axioms which are roughly analogous to the $T_1$-axiom from classical topology. For instance, besides the well-known subfitness and fitness, there are also Rosicky-Smarda's $T_1$-locales, totally unordered locales and, more categorically, the recently introduced $\mathcal{F}$-separated locales (i.e., those with a fitted diagonal) - a property strictly weaker…
▽ More
There are a number of localic separation axioms which are roughly analogous to the $T_1$-axiom from classical topology. For instance, besides the well-known subfitness and fitness, there are also Rosicky-Smarda's $T_1$-locales, totally unordered locales and, more categorically, the recently introduced $\mathcal{F}$-separated locales (i.e., those with a fitted diagonal) - a property strictly weaker than fitness.
It has recently been shown that the strong Hausdorff property and $\mathcal{F}$-separatedness are in a certain sense dual to each other. In this paper, we provide further instances of this duality - e.g., we introduce a new first-order separation property which is to $\mathcal{F}$-separatedness as the Johnstone-Sun-shu-Hao-Paseka-Smarda conservative Hausdorff axiom is to the strong Hausdorff property, and which can be of independent interest. Using this, we tie up the loose ends of the theory by establishing all the possible implications between these properties and other $T_1$-type axioms occurring in the literature. In particular, we show that the strong Hausdorff property does not imply $\mathcal{F}$-separatedness, a question which remained open and shows a remarkable difference with its counterpart in the category of topological spaces.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
The coframe of D-sublocales of a locale and the $T_D$ duality
Authors:
Igor Arrieta,
Anna Laura Suarez
Abstract:
The notion of \emph{D-sublocale} is explored. This is the notion analogue to that of sublocale in the duality of $T_D$spaces. A sublocale $S$ of a frame $L$ is a D-sublocale if and only if the corresponding localic map preserves the property of being a covered prime. It is shown that for a frame $L$ the system of those sublocales which are also D-sublocales form a dense sublocale…
▽ More
The notion of \emph{D-sublocale} is explored. This is the notion analogue to that of sublocale in the duality of $T_D$spaces. A sublocale $S$ of a frame $L$ is a D-sublocale if and only if the corresponding localic map preserves the property of being a covered prime. It is shown that for a frame $L$ the system of those sublocales which are also D-sublocales form a dense sublocale $\mathsf{S}_D(L)$ of the coframe $\mathsf{S}(L)$ of all its sublocales. It is also shown that the spatialization $\mathsf{sp}_D[\mathsf{S}_D(L)]$ of $\mathsf{S}_D(L)$ consists precisely of those D-sublocales of $L$ which are $T_D$-spatial. Additionally, frames such that we have $\mathsf{S}_D(L)\cong \mathcal{P}(\mathsf{pt}_D(L))$ -- that is, those such that D-sublocales perfectly represent subspaces -- are characterized as those $T_D$-spatial frames such that $\mathsf{S}_D(L)$ is the Booleanization of \mathsf{S}(L).
△ Less
Submitted 27 November, 2020; v1 submitted 17 November, 2020;
originally announced November 2020.
-
On infinite variants of De Morgan law in locale theory
Authors:
Igor Arrieta
Abstract:
A locale, being a complete Heyting algebra, satisfies De Morgan law $(a\vee b)^*=a^*\wedge b^*$ for pseudocomplements. The dual De Morgan law $(a\wedge b)^*={a^* \vee b^*}$ (here referred to as the second De Morgan law) is equivalent to, among other conditions, $(a\vee b)^{**} =a^{**}\vee b^{**}$, and characterizes the class of extremally disconnected locales. This paper presents a study of the su…
▽ More
A locale, being a complete Heyting algebra, satisfies De Morgan law $(a\vee b)^*=a^*\wedge b^*$ for pseudocomplements. The dual De Morgan law $(a\wedge b)^*={a^* \vee b^*}$ (here referred to as the second De Morgan law) is equivalent to, among other conditions, $(a\vee b)^{**} =a^{**}\vee b^{**}$, and characterizes the class of extremally disconnected locales. This paper presents a study of the subclasses of extremally disconnected locales determined by the infinite versions of the second De Morgan law and its equivalents.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
Updated measurement method and uncertainty budget for direct emissivity measurements at UPV/EHU
Authors:
Iñigo González de Arrieta,
Telmo Echániz,
Raquel Fuente,
Jose Miguel Campillo-Robles,
Josu M. Igartua,
Gabriel A. López
Abstract:
This work reports on the upgrades made to the direct emissivity measurement facility of the UPV/EHU. The instrumental improvements consist of, among others, a high-vacuum system and a wider temperature range (300-1273 K). Methodological developments include a refined measurement equation with updated parameters and a reworked ISO-compliant uncertainty budget, and a Monte Carlo procedure for accura…
▽ More
This work reports on the upgrades made to the direct emissivity measurement facility of the UPV/EHU. The instrumental improvements consist of, among others, a high-vacuum system and a wider temperature range (300-1273 K). Methodological developments include a refined measurement equation with updated parameters and a reworked ISO-compliant uncertainty budget, and a Monte Carlo procedure for accurate calculations of total emissivities from spectral data. These upgrades have been demonstrated and validated in measurements of both metallic and ceramic materials. The results obtained in this work are applicable to similar experimental devices for emissivity measurements in order to report reliable emissivity data.
△ Less
Submitted 10 February, 2020; v1 submitted 18 October, 2019;
originally announced October 2019.