Freyd categories are enriched Lawvere theories
From MaRDI portal
Publication:280202
DOI10.1016/j.entcs.2014.02.010zbMath1338.18033OpenAlexW2009839058WikidataQ113317886 ScholiaQ113317886MaRDI QIDQ280202
Publication date: 6 May 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2014.02.010
Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (6)
Classical control and quantum circuits in enriched category theory ⋮ Duoidally enriched Freyd categories ⋮ Graded algebraic theories ⋮ Commutative Semantics for Probabilistic Programming ⋮ Graded Hoare logic and its categorical semantics ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Monads with arities and their associated theories
- Notions of Lawvere theory
- Variations on algebra: Monadicity and generalisations of equational theories
- Notions of computation and monads
- Generic models for computational effects
- A universal property of the convolution monoidal structure
- Modelling environments in call-by-value programming languages.
- A classification of accessible categories
- Linearly-Used State in Models of Call-by-Value
- Monads Need Not Be Endofunctors
- Handlers of Algebraic Effects
- Categorical semantics for arrows
- Premonoidal categories and notions of computation
- An Algebraic Presentation of Predicate Logic
- What is a Categorical Model of Arrows?
- Instances of Computational Effects: An Algebraic Perspective
- On closed categories of functors
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Some Varieties of Equational Logic
This page was built for publication: Freyd categories are enriched Lawvere theories
