scientific article; zbMATH DE number 2156365

zbMath1064.18003MaRDI QIDQ4668854

Ernie Manes

Publication date: 15 April 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Continuous lattices and posets, applications (06B35) Categories of algebras (08C05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items

The saturated prefilter monad ⋮ Continuous monads ⋮ Iterated covariant powerset is not a monad ⋮ Near distributive laws ⋮ Semantics of a sequential language for exact real-number computation ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ Many valued topologies on L-sets ⋮ On coalgebras over algebras ⋮ No-iteration mixed distributive laws ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Lax algebras via initial monad morphisms: APP, TOP, MET and ORD ⋮ Monads in topology ⋮ Witt vectors. Part 1 ⋮ Boolean restriction categories and taut monads ⋮ Taut Monads, Dynamic Logic and Determinism

Uses Software

• Haskell

Cites Work

• Notions of computation and monads
• Homotopy theory in general categories
• A functional theory of exceptions
• Generating the algebraic theory of C(X)
• A class of fuzzy theories
• Monads and algebras in the semantics of partial data types
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Propositional dynamic logic of regular programs
• Taut monads and \(T0\)-spaces.
• Monads for which structures are adjoint to units
• A semantics for shape
• The class of topological spaces is equationally definable
• Adjoint functors and triples
• Duality in analysis from the point of view of triples
• Applied functorial semantics. I
• Equational completion, model induced triples and pro-objects
• On absolute colimits
• Functorial implicit operations
• Semi-simplicial complexes and singular homology
• Predicate Transformer Semantics
• Adjoint Functors
• An application of nonstandard analysis to category
• Filter Monads, Continuous Lattices and Closure Systems
• General Functorial Semantics, I
• Implementing collection classes with monads
• Comprehending monads
• Introduction to bicategories
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• Algebra valued functors in general and tensor products in particular
• New proof of a theorem of Gaifman and Hales
• Relation of the Exact Transient Solution for a Line Source near an Interface between Two Fluids to Geometrical Acoustics
• On Fundamental Constructions and Adjoint Functors
• An axiomatic basis for computer programming
• Some algebraic problems in the context of functorial semantics of algebraic theories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• On the non-existence of free complete Boolean algebras
• General Theory of Natural Equivalences
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item