Using the category of metric spaces as a template, we develop a metric analogue of the categorical semantics of classical/intuitionistic logic, and show that the natural notion of predicate in this “continuous semantics” is equivalent to the a priori separate notion of predicate in continuous logic, a logic which is independently well-studied by model theorists and which finds various applications. We show this equivalence by exhibiting the real interval $[0,1]$ in the category of metric spaces as a “continuous subobject classifier” giving a correspondence not only between the two notions of predicate, but also between the natural notion of quantification in the continuous semantics and the existing notion of quantification in continuous logic.

Along the way, we formulate what it means for a given category to behave like the category of metric spaces, and afterwards show that any such category supports the aforementioned continuous semantics. As an application, we show that categories of presheaves of metric spaces are examples of such, and in fact even possess continuous subobject classifiers.

Let $\mathbf{TB}$ be the category of totally bounded, locally compact metric spaces with the ${{C}_{0}}$ coarse structures. We show that if $X$ and $Y$ are in $\mathbf{TB}$, then $X$ and $Y$ are coarsely equivalent if and only if their Higson coronas are homeomorphic. In fact, the Higson corona functor gives an equivalence of categories $\mathbf{TB}\,\to \,\mathbf{K}$, where $\mathbf{K}$ is the category of compact metrizable spaces. We use this fact to show that the continuously controlled coarse structure on a locally compact space $X$ induced by some metrizable compactification $\widetilde{X}$ is determined only by the topology of the remainder $\widetilde{X}\,\backslash \,X$.

The aim of the present paper is to extend the dualizing object approach to Stone duality to the noncommutative setting of skew Boolean algebras. This continues the study of noncommutative generalizations of different forms of Stone duality initiated in recent papers by Bauer and Cvetko-Vah, Lawson, Lawson and Lenz, Resende, and also the current author. In this paper we construct a series of dual adjunctions between the categories of left-handed skew Boolean algebras and Boolean spaces, the unital versions of which are induced by dualizing objects $\{ 0, 1, \ldots , n+ 1\} $, $n\geq 0$. We describe the categories of Eilenberg-Moore algebras of the monads of the adjunctions and construct easily understood noncommutative reflections of left-handed skew Boolean algebras, where the latter can be faithfully embedded (if $n\geq 1$) in a canonical way. As an application, we answer the question that arose in a recent paper by Leech and Spinks to describe the left adjoint to their ‘twisted product’ functor $\omega $.

The main purpose of this paper is to develop a point-free notion of topological transitivity. First, we define transitive frame maps and transitive completely prime filters in Frm, the category of frames and frame maps. Then we discuss the relationship between these notions in Frm and the notions of topological transitive and transitive points in Top. Finally, we investigate the relationship between transitive frame maps and the existence of transitive completely prime filters.

The homotopy groups of a finite partially ordered set (poset) can be described entirely in the context of posets, as shown in a paper by $\text{B}$. Larose and $\text{C}$. Tardif. In this paper we describe the relative version of such a homotopy theory, for pairs $\left( X,\,A \right)$ where $X$ is a poset and $A$ is a subposet of $X$. We also prove some theorems on the relevant version of the notion of weak homotopy equivalences for maps of pairs of such objects. We work in the category of reflexive binary relational structures which contains the posets as in the work of Larose and Tardif.