Taut monads and \(T0\)-spaces.

DOI10.1016/S0304-3975(00)00415-1zbMath1033.18001OpenAlexW2073028751MaRDI QIDQ1870523

Ernest G. Manes

Publication date: 14 May 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00415-1

zbMATH Keywords

algebrataut monadfilter monadcollection monad

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Categorical methods in general topology (54B30) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (21)

Unnamed Item ⋮ Iterated covariant powerset is not a monad ⋮ On exponentiability of étale algebraic homomorphisms ⋮ Topological theories and closed objects ⋮ On exponentiable morphisms in classical algebra ⋮ On presheaf submonads of quantale-enriched categories ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ Descent morphisms and a van Kampen theorem in categories of lax algebras ⋮ Universality of coproducts in categories of lax algebras ⋮ Axioms for sequential convergence ⋮ Covering morphisms in categories of relational algebras ⋮ The monads of classical algebra are seldom weakly Cartesian ⋮ Monads in topology ⋮ Boolean restriction categories and taut monads ⋮ Infinitary addition, real numbers, and taut monads ⋮ Boolean and classical restriction categories ⋮ Lawvere completeness in topology ⋮ On generalized equilogical spaces ⋮ Limits in categories of Vietoris coalgebras ⋮ Taut Monads, Dynamic Logic and Determinism ⋮ Monads of regular theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• A class of fuzzy theories
• Properly injective spaces and function spaces
• Monads for which structures are adjoint to units
• Adjoint functors and triples
• Filter Monads, Continuous Lattices and Closure Systems
• Implementing collection classes with monads
• Compact Hausdorff objects
• Relational algebras
• On Double Dualization Monads.
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Taut monads and \(T0\)-spaces.