Publication:4668854

zbMath1064.18003MaRDI QIDQ4668854

Ernie Manes

Publication date: 15 April 2005

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

06B35: Continuous lattices and posets, applications

08C05: Categories of algebras

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

Related Items

Taut Monads, Dynamic Logic and Determinism, Lax algebras via initial monad morphisms: APP, TOP, MET and ORD, On coalgebras over algebras, Monads in topology, Semantics of a sequential language for exact real-number computation, Boolean restriction categories and taut monads, Witt vectors. Part 1

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