Showing 1–5 of 5 results for author: Carollo, I M

A lattice-theoretic approach to arbitrary real functions on frames

Authors: Imanol Mozo Carollo

Abstract: In this paper we model discontinuous extended real functions in pointfree topology following a lattice-theoretic approach, in such a way that, if $L$ is a subfit frame, arbitrary extended real functions on $L$ are the elements of the Dedekind-MacNeille completion of the poset of all extended semicontinuous functions on $L$. This approach mimicks the situation one has with a $T_1$-space $X$, where… ▽ More In this paper we model discontinuous extended real functions in pointfree topology following a lattice-theoretic approach, in such a way that, if $L$ is a subfit frame, arbitrary extended real functions on $L$ are the elements of the Dedekind-MacNeille completion of the poset of all extended semicontinuous functions on $L$. This approach mimicks the situation one has with a $T_1$-space $X$, where the lattice $\overline{\mathrm{F}}(X)$ of arbitrary extended real functions on $X$ is the smallest complete lattice containing both extended upper and lower semicontinuous functions on $X$. Then, we identify real-valued functions by lattice-theoretic means. By construction, we obtain definitions of discontinuous functions that are conservative for $T_1$-spaces. We also analyze semicontinuity and introduce definitions which are conservative for $T_D$-spaces. △ Less

Submitted 28 January, 2025; originally announced January 2025.

Comments: 31 pages

MSC Class: 06D22 (Primary) 26A15; 54C30; 54D15 (Secondary)

Journal ref: Quaestiones Mathematicae, 41(3), 319-347; Erratum: Quaestiones Mathematicae 2022, 45(12): 1987

On Isbell's Density Theorem for bitopological pointfree spaces I

Authors: M. Andrew Moshier, Imanol Mozo Carollo, Joanne Walters-Wayland

Abstract: This paper addresses dense sub-objects for point-free bitopology in terms of $d$-frames and provides several examples. We characterize extremal epimorphisms in $d$-frames and show that a smallest dense one always exists, establishing a proper analogue of Isbell's Density Theorem for $d$-frames. Further we explore certain questions about the functoriality of assigning the smallest dense sub-object… ▽ More This paper addresses dense sub-objects for point-free bitopology in terms of $d$-frames and provides several examples. We characterize extremal epimorphisms in $d$-frames and show that a smallest dense one always exists, establishing a proper analogue of Isbell's Density Theorem for $d$-frames. Further we explore certain questions about the functoriality of assigning the smallest dense sub-object to each pointfree bitopological space. △ Less

Submitted 27 January, 2025; originally announced January 2025.

Comments: 20 pages

MSC Class: 06D22; 54B05

Journal ref: Topology and its applications, Volume 273, 15 March 2020, 106962

On the universal completions of pointfree function spaces

Authors: Imanol Mozo Carollo

Abstract: This paper approaches the construction of the universal completion of the Riesz space $\mathrm{C}(L)$ of continuous real functions on a completely regular frame $L$ in two different ways. Firstly as the space of continuous real functions on the Booleanization of $L$. Secondly as the space of nearly finite Hausdorff continuous functions on $L$. The former has no counterpart in the classical theory,… ▽ More This paper approaches the construction of the universal completion of the Riesz space $\mathrm{C}(L)$ of continuous real functions on a completely regular frame $L$ in two different ways. Firstly as the space of continuous real functions on the Booleanization of $L$. Secondly as the space of nearly finite Hausdorff continuous functions on $L$. The former has no counterpart in the classical theory, as the Booleanization of a spatial frame is not spatial in general, and it offers a lucid way of representing the universal completion as a space of continuous real functions. As a corollary we obtain that $\mathrm{C}(L)$ and $\mathrm{C}(M)$ have isomorphic universal completions if and only if the Booleanization of $L$ and $M$ are isomorphic and we characterize frames $L$ such that $\mathrm{C}(L)$ is universally complete as almost Boolean frames. The application of this last result to the classical case $\mathrm{C}(X)$ of the space of continuous real functions on a topological space $X$ characterizes those spaces $X$ for which $\mathrm{C}(X)$ is universally complete. Finally, we present a pointfree version of the Maeda-Ogasawara-Vulikh representation theorem and use it to represent the universal completion of an Archimedean Riesz space with weak unit as a space of continuous real functions on a Boolean frame. △ Less

Submitted 27 January, 2025; originally announced January 2025.

Comments: 24 pages

MSC Class: 06D22; 06F20; 54D15; 54C10

Journal ref: Journal of Pure and Applied Algebra, Volume 225, Issue 2, February 2021, 106490

How to take cats together

Authors: Imanol Mozo Carollo

Abstract: The aim of this paper is to give mathematical account of an argument of David Lewis in Parts of Classes in defense of universalism in mereology. Specifically we study how to extend models of Core Mereology (following Achille Varzi's terminology) to models in which every collection of parts can be composed into another part. We focus on the two main definitions for mereological compositions and sho… ▽ More The aim of this paper is to give mathematical account of an argument of David Lewis in Parts of Classes in defense of universalism in mereology. Specifically we study how to extend models of Core Mereology (following Achille Varzi's terminology) to models in which every collection of parts can be composed into another part. We focus on the two main definitions for mereological compositions and show that any model can be extended to satisfy universalism. We explore which are the "most economical" ways of extending models under various conditions. Remarkably, we show that if the principle of Strong Supplementation is assumed, there is a unique mereological completion, up to isomorphism. △ Less

Submitted 3 October, 2024; originally announced October 2024.

Comments: To appear in Notre Dame Journal of Formal Logic, 25 pages

MSC Class: 06A06; 03G10

On Isbell's Density Theorem for bitopological pointfree spaces II

Authors: M. Andrew Moshier, Imanol Mozo Carollo, Joanne Walters-Wayland

Abstract: With the aim of studying subspaces in pointfree bitopology, we characterize extremal epimorphism in biframes and show that a smallest dense one always exists, providing an analogue of Isbell's Density Theorem. Further we study the functoriality of assigning to each biframe its lattice of subbilocales and its smallest dense subbilocale. With the aim of studying subspaces in pointfree bitopology, we characterize extremal epimorphism in biframes and show that a smallest dense one always exists, providing an analogue of Isbell's Density Theorem. Further we study the functoriality of assigning to each biframe its lattice of subbilocales and its smallest dense subbilocale. △ Less

Submitted 27 September, 2024; originally announced September 2024.

MSC Class: 06D22; 54B05; 54E55