Results 1 
3 of
3
Enriched Lawvere Theories
"... We define the notion of enriched Lawvere theory, for enrichment over a monoidal biclosed category V that is locally finitely presentable as a closed category. We prove that the category of enriched Lawvere theories is equivalent to the category of finitary monads on V. Morever, the Vcategory of mod ..."
Abstract

Cited by 15 (0 self)
 Add to MetaCart
We define the notion of enriched Lawvere theory, for enrichment over a monoidal biclosed category V that is locally finitely presentable as a closed category. We prove that the category of enriched Lawvere theories is equivalent to the category of finitary monads on V. Morever, the Vcategory of models of a Lawvere Vtheory is equivalent to the Vcategory of algebras for the corresponding Vmonad. This all extends routinely to local presentability with respect to any regular cardinal. We finally consider the special case where V is Cat, and explain how the correspondence extends to pseudo maps of algebras.
A Representation Result for Free Cocompletions
, 1999
"... Given a class F of weights, one can consider the construction that takes a small category C to the free cocompletion of C under weighted colimits, for which the weight lies in F . Provided these free F cocompletions are small, this construction generates a 2monad on Cat, or more generally on VCa ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Given a class F of weights, one can consider the construction that takes a small category C to the free cocompletion of C under weighted colimits, for which the weight lies in F . Provided these free F cocompletions are small, this construction generates a 2monad on Cat, or more generally on VCat for monoidal biclosed complete and cocomplete V. We develop the notion of a dense 2monad on VCat and characterise free F cocompletions by dense KZmonads on VCat. We prove various corollaries about the structure of such 2monads and their Kleisli 2categories, as needed for the use of open maps in giving an axiomatic study of bisimulation in concurrency. This requires the introduction of the concept of a pseudocommutativity for a strong 2monad on a symmetric monoidal 2category, and a characterisation of it in terms of structure on the Kleisli 2category. 1 Introduction Given a class of small categories S, one can consider the construction that takes a small category C to the free co...
Sketches
 JOURNAL OF PURE AND APPLIED ALGEBRA
, 1999
"... We generalise the notion of sketch. For any locally nitely presentable category, one can speak of algebraic structure on the category, or equivalently, a finitary monad on it. For any such finitary monad, we de ne the notions of sketch and strict model and prove that any sketch has a generic stric ..."
Abstract
 Add to MetaCart
We generalise the notion of sketch. For any locally nitely presentable category, one can speak of algebraic structure on the category, or equivalently, a finitary monad on it. For any such finitary monad, we de ne the notions of sketch and strict model and prove that any sketch has a generic strict model on it. This is all done with enrichment in any monoidal biclosed