Quantalic topological theories
type: Item
instance of: scholarly article
title: Quantalic topological theories
zbMATH Open document ID: 1388.18003
author: Walter Tholen
published in: Tbilisi Mathematical Journal
publication date: 2018-01-12T00:00:00Z
review text: From the introduction: The paper proposes a further extension of the setting that should facilitate the investigation of categories of interest in topology. For that the introduced notion of topological platform involves two monads \(\mathbb{T}\) and \(\mathbb{P}\) on a category \({\mathcal K}\) tied by a distributive law. ``Topologicity'' enters through the requirement that the Kleisli category of \(\mathbb{P}\) be a quantaloid, since the category of sets with \(\mathsf V\)-valued relations (\(\mathsf V\) denotes a quantal) is the Kleisli category of the role model \(\mathbb{P}_{\mathbf{\bigvee}}\). By contrast, \(\mathbb{T}\) should be considered the ``algebraic'' part of the notion. After a brief consideration of strict \((\mathbb{T},\mathbb{P})\)-algebras, including categories of partial \(\mathbb{T}\)-algebras, the paper establishes the fundamental fact that, for every topological platform, the forgetful functor \(\mathsf{Alg}(\mathbb{T}, \mathbb{P}) \to {\mathcal K}\) is topological (\(\mathsf{Alg}(\mathbb{T}, \mathbb{P})\) denotes the category of lax \((\mathbb{T},\mathbb{P})\)-algebras). This fact leaves open questions which are mentioned at the end of the paper. Following, it is showed how the \((\mathbb{T},\mathbb{P})\)-theory particularizes to previous work in monoidal topology. Moreover it is pointed out that the \((\mathbb{T},\mathsf{V})\)-setting should be seen as representing the monad \(\mathbb{P}\) by a quantale \(\mathsf V\) or more generally by a quantaloid Q. Finally a quantalic topological theory generalizing the notion introduced in [\textit{W. Tholen}, ``Lax distributive laws. I'', Preprint, \url{arXiv:1603.0625}] is proposed and the implication of previous Hofmann's topological theory [\textit{D. Hofmann}, Adv. Math. 215, No. 2, 789--824 (2007; Zbl 1127.18001)] is showed.
reviewed by: J. M. Casas
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 18C20
Mathematics Subject Classification ID: 18D99
zbMATH DE Number: 6825310
zbMATH Keywords: monad
zbMATH Keywords: quantale
zbMATH Keywords: lax monad extension
zbMATH Keywords: (lax) distributive law
zbMATH Keywords: (lax) \(\lambda\)-algebra
zbMATH Keywords: \((\mathbb{T},\mathsf V))\)-category
zbMATH Keywords: topological platform
zbMATH Keywords: quantalic topological theory
zbMATH Keywords: natural topological theory
MaRDI profile type: Publication
full work available at URL: tmj-2017-0110
OpenAlex ID: W2771719656
cites work: Q4693062
cites work: On the categorical meaning of Hausdorff and Gromov distances. I.
cites work: Relational algebras
cites work: Q5579535
cites work: Q4856547
cites work: Q5658221
cites work: Introduction to extensive and distributive categories
cites work: Topological features of Lax algebras
cites work: Metric, topology and multicategory -- a common approach
cites work: Q5586461
cites work: Adjoint functors and triples
cites work: Q5731806
cites work: Representable multicategories
cites work: Topological functors
cites work: Topological theories and closed objects
cites work: Monoidal topology. A categorical approach to order, metric, and topology
cites work: A convergence theory for probabilistic metric spaces
cites work: Q3934579
cites work: Every Standard Construction is Induced by a Pair of Adjoint Functors
cites work: The formal theory of monads. II
cites work: Quantale-valued topological spaces via closure and convergence
cites work: Lax distributive laws for topology, II
cites work: Q4551182
cites work: Q5599205
cites work: Q4340906
cites work: Q4215784
cites work: Q4123496
cites work: Q3996704
cites work: Q4884543
cites work: Q5701007
cites work: The formal theory of monads
cites work: Q4680353
cites work: 'Hausdorff distance' via conical cocompletion
cites work: Ordered topological structures
cites work: Kleisli enriched
cites work: Lax Distributive Laws for Topology, I
cites work: Q3958648
cites work: Q4464692
DOI: 10.1515/TMJ-2017-0110
description: scientific article; zbMATH DE number 6825310