Gabriel–Ulmer duality and Lawvere theories enriched over a general base
From MaRDI portal
Publication:3638917
DOI10.1017/S0956796809007254zbMath1191.68163MaRDI QIDQ3638917
Publication date: 28 October 2009
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
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