Gabriel–Ulmer duality and Lawvere theories enriched over a general base

DOI10.1017/S0956796809007254zbMath1191.68163MaRDI QIDQ3638917

Stephen Lack, A. John Power

Publication date: 28 October 2009

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

monads on Set

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (8)

Gabriel-Ulmer duality for topoi and its relation with site presentations ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ The Gray tensor product via factorisation ⋮ Graded algebraic theories ⋮ Notions of Lawvere theory ⋮ Monads and theories ⋮ Syntactic approaches to opetopes ⋮ An enriched view on the extended finitary monad--Lawvere theory correspondence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Variations on algebra: Monadicity and generalisations of equational theories
• Notions of computation and monads
• Discrete Lawvere theories and computational effects
• Combining algebraic effects with continuations
• Algebraic operations and generic effects
• Why tricategories?
• Lawvere theories enriched over a general base
• Combining effects: sum and tensor
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Gabriel–Ulmer duality and Lawvere theories enriched over a general base