Taut monads and T0-spaces.
DOI10.1016/S0304-3975(00)00415-1zbMATH Open1033.18001OpenAlexW2073028751MaRDI QIDQ1870523FDOQ1870523
Authors: 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
Recommendations
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) Categorical methods in general topology (54B30) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Functional programming and lambda calculus (68N18)
Cites Work
- Title not available (Why is that?)
- Adjoint functors and triples
- Title not available (Why is that?)
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Notions of computation and monads
- Properly injective spaces and function spaces
- Monads for which structures are adjoint to units
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relational algebras
- Title not available (Why is that?)
- Filter Monads, Continuous Lattices and Closure Systems
- Compact Hausdorff objects
- Title not available (Why is that?)
- A class of fuzzy theories
- Implementing collection classes with monads
- On Double Dualization Monads.
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (21)
- Iterated covariant powerset is not a monad
- A point-free perspective on lax extensions and predicate liftings
- Lawvere completeness in topology
- Descent morphisms and a van Kampen theorem in categories of lax algebras
- Boolean and classical restriction categories
- Covering morphisms in categories of relational algebras
- Monads of regular theories
- Topological theories and closed objects
- On exponentiable morphisms in classical algebra
- Infinitary addition, real numbers, and taut monads
- On presheaf submonads of quantale-enriched categories
- Monads in topology
- Universality of coproducts in categories of lax algebras
- On exponentiability of étale algebraic homomorphisms
- Boolean restriction categories and taut monads
- Limits in categories of Vietoris coalgebras
- Taut monads, dynamic logic and determinism
- Axioms for sequential convergence
- The monads of classical algebra are seldom weakly Cartesian
- Title not available (Why is that?)
- On generalized equilogical spaces
This page was built for publication: Taut monads and \(T0\)-spaces.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1870523)
