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)
68N18: Functional programming and lambda calculus
Related Items
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