Related papers: Some Generalizations of Fedorchuk Duality Theorem …
The language of homotopy type theory has proved to be appropriate as an internal language for various higher toposes, for example with Synthetic Algebraic Geometry for the Zariski topos. In this paper we apply such techniques to the higher…
It is proved that the category $\mathbb{EM}$ of extended multisets is dually equivalent to the category $\mathbb{CHMV}$ of compact Hausdorff MV-algebras with continuous homomorphisms, which is in turn equivalent to the category of complete…
We characterize those algebras over a disconnected uniformly complete topological field which are representable as algebras of continuous functions on compact topological spaces, generalizing thus Gelfand duality for non-archimedean normed…
In the context of categorical topology, more precisely that of T-categories [Hofmann, 2007], we define the notion of T-colimit as a particular colimit in a V-category. A complete and cocomplete V-category in which limits distribute over…
We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…
Homological Projective duality (HP-duality) theory, introduced by Kuznetsov [42], is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete…
In the present paper, we consider several valid notions of orientability of Alexandov spaces and prove that all such conditions are equivalent. Further, we give topological and geometric applications of the orientability. In particular, a…
We give a new proof of the Kat\v{e}tov-Tong theorem. Our strategy is to first prove the theorem for compact Hausdorff spaces, and then extend it to all normal spaces. The key ingredient is how the ring of bounded continuous real-valued…
The work is my Ph D thesis (dissertation for obtaining candidate of sciences degree in Russia) fulfilled under direction of D. A. Raikov and defended under supervision of N. Ya. Vilenkin and S. V. Ptchelintsev. In the dissertatin I gave…
We show how Stone duality can be extended from maps to relations. This is achieved by working order enriched and defining a relation from A to B as both an order-preserving function from the opposite of A times B to the 2-element chain and…
We extend Exel's ample tight groupoid construction to general locally compact \'etale groupoids in the Hausdorff case. Moreover, we show how inverse semigroups are represented in this way as 'pseudobases' of open bisections, thus yielding a…
In the beginning of the 20th century, A. N. Whitehead and T. de Laguna proposed a new theory of space, known as {\em region-based theory of space}. They did not present their ideas in a detailed mathematical form. In 1997, P. Roeper has…
We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant…
We prove versions of the spectral adjunction, a Stone-type duality and Hofmann-Lawson duality for locally small spaces with bounded continuous mappings.
We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new…
We unify several extensions of the classic Stone duality due to Gr\"atzer, Hoffman-Lawson and Jung-S\"underhauf. Specifically we show that U-bases of locally compact sober spaces are dual to <-distributive v-predomains, where < is a…
We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean…
We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunctors in the category of locales. The left adjoint takes a…
Continuous mappings between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these…
In this paper, we discuss some questions about compactness in MV-topological spaces. More precisely, we first present a Tychonoff theorem for such a class of fuzzy topological spaces and some consequence of this result, among which, for…