Results 1 
6 of
6
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
, 2007
"... Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being established a few years later. Monads, although mathematically the less direct and less malleable formulation, rapidly gained ..."
Abstract

Cited by 14 (0 self)
 Add to MetaCart
Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being established a few years later. Monads, although mathematically the less direct and less malleable formulation, rapidly gained precedence. A generation later, the definition of monad began to appear extensively in theoretical computer science in order to model computational effects, without reference to universal algebra. But since then, the relevance of universal algebra to computational effects has been recognised, leading to renewed prominence of the notion of Lawvere theory, now in a computational setting. This development has formed a major part of Gordon Plotkin’s mature work, and we study its history here, in particular asking why Lawvere theories were eclipsed by monads in the 1960’s, and how the renewed interest in them in a computer science setting might develop in future.
Modal Predicates and Coequations
, 2002
"... We show how coalgebras can be presented by operations and equations. We discuss the basic properties of this presentation and compare it with the usual approach. ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
We show how coalgebras can be presented by operations and equations. We discuss the basic properties of this presentation and compare it with the usual approach.
A General Completeness Result in Refinement
 in: Proceedings of the 14th International Workshop on Algebraic Development Techniques, no. 1827 in Lecture Notes in Computer Science
, 1999
"... . In a paper in 1986, Hoare, He and Sanders proposed a formulation of refinement for a system equivalent to the #calculus using a relation based semantics. To give a proof method to show that one program is a refinement of another, they introduced downward simulation and upward simulation, but the ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
. In a paper in 1986, Hoare, He and Sanders proposed a formulation of refinement for a system equivalent to the #calculus using a relation based semantics. To give a proof method to show that one program is a refinement of another, they introduced downward simulation and upward simulation, but the proof method based upon either of them is not complete with respect to their notion of refinement, so they claimed "joint" completeness based upon both notions of simulation with respect to their notion of refinement. We give a new definition of refinement in terms of structure respecting lax transformations, and show that the proof method based upon downward simulation is complete with respect to this notion of refinement. Although our theory works for the #calculus, we present the result for the calculus to make the presentation simpler. We use results in enriched category theory to show this, and the central notion here is that of algebraic structure on locally ordered categories, not o...
On Coalgebras which are Algebras
"... The category Coalg# of coalgebras with respect to a (bounded) signature # is known to be locally finitely presentable (see [1]). We strenghten this result by showing that Coalg# even is a presheaf category. Moreover, we give a presentation of this category as the category of all algebras of some (ma ..."
Abstract
 Add to MetaCart
The category Coalg# of coalgebras with respect to a (bounded) signature # is known to be locally finitely presentable (see [1]). We strenghten this result by showing that Coalg# even is a presheaf category. Moreover, we give a presentation of this category as the category of all algebras of some (manysorted) signature (without any equations) .
Foundations for Computable Topology
, 2009
"... Foundations should be designed for the needs of mathematics and not vice versa. We propose a technique for doing this that exploits the correspondence between category theory and logic and is potentially applicable to several mathematical disciplines. Stone Duality. We express the duality between al ..."
Abstract
 Add to MetaCart
Foundations should be designed for the needs of mathematics and not vice versa. We propose a technique for doing this that exploits the correspondence between category theory and logic and is potentially applicable to several mathematical disciplines. Stone Duality. We express the duality between algebra and geometry as an abstract monadic adjunction that we turn into a new type theory. To this we add an equation that is satisfied by the Sierpiński space, which plays a key role as the classifier for both open and closed subspaces. In the resulting theory there is a duality between open and closed concepts. This captures many basic properties of compact and closed subspaces, despite the absence of any explicitly infinitary axiom. It offers dual results that link general topology to recursion theory. The extensions and applications of ASD elsewhere that this paper survey include a purely recursive theory of elementary real analysis in which, unlike in previous approaches, the real closed interval [0, 1] in ASD is compact.