Taut monads and \(T0\)-spaces.
type: Item
instance of: scholarly article
title: Taut monads and \(T0\)-spaces.
zbMATH Open document ID: 1033.18001
DOI: 10.1016/S0304-3975(00)00415-1
author: Ernest G. Manes
published in: Theoretical Computer Science
publication date: 2003-05-14T00:00:00Z
review text: The author introduces taut monads and characterizes taut monads in sets by the existence of a support classifier. His motivation is that taut monads are precisely monads for which collection membership is decidable by a functional algorithm. A typical example of a taut monad is the filter monad \(F\) and a monad in sets is taut iff it admits a taut monad map to \(F\). Finitary taut monads in sets coincide with collection monads (introduced by the author in ``Implementing collection classes with monads'' [\textit{E. G. Manes}, Math. Struct. Comput. Sci. 8 , 231--276 (1998; Zbl 0916.68016)]).
reviewed by: Jiří Rosický
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 18B30
Mathematics Subject Classification ID: 54B30
Mathematics Subject Classification ID: 54D10
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 1909863
zbMATH Keywords: taut monad
zbMATH Keywords: algebra
zbMATH Keywords: filter monad
zbMATH Keywords: collection monad
MaRDI profile type: Publication
cites work: Q4693062
cites work: Relational algebras
cites work: Q3782766
cites work: Filter Monads, Continuous Lattices and Closure Systems
cites work: Adjoint functors and triples
cites work: Q4500949
cites work: Properly injective spaces and function spaces
cites work: Q3898534
cites work: Q3965241
cites work: On Double Dualization Monads.
cites work: Monads for which structures are adjoint to units
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q5639839
cites work: Compact Hausdorff objects
cites work: Q3950708
cites work: A class of fuzzy theories
cites work: Implementing collection classes with monads
cites work: Notions of computation and monads
cites work: Q5649639
cites work: Q3912632
full work available at URL: s0304-3975(00)00415-1
OpenAlex ID: W2073028751
description: scientific article; zbMATH DE number 1909863