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)
Recommendations
Cites work
- scientific article; zbMATH DE number 4045132 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3724515 (Why is no real title available?)
- scientific article; zbMATH DE number 3769855 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 1498617 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- A class of fuzzy theories
- Adjoint functors and triples
- Compact Hausdorff objects
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Filter Monads, Continuous Lattices and Closure Systems
- Implementing collection classes with monads
- Monads for which structures are adjoint to units
- Notions of computation and monads
- On Double Dualization Monads.
- Properly injective spaces and function spaces
- Relational algebras
Cited in
(21)- On generalized equilogical spaces
- scientific article; zbMATH DE number 2156365 (Why is no real title available?)
- Iterated covariant powerset is not a monad
- Lawvere completeness in topology
- A point-free perspective on lax extensions and predicate liftings
- 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
- On exponentiable morphisms in classical algebra
- Topological theories and closed objects
- 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
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)
