Freyd categories are enriched Lawvere theories
From MaRDI portal
Publication:280202
DOI10.1016/J.ENTCS.2014.02.010zbMATH Open1338.18033OpenAlexW2009839058WikidataQ113317886 ScholiaQ113317886MaRDI QIDQ280202FDOQ280202
Authors: Sam Staton 
Publication date: 6 May 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2014.02.010
Recommendations
- A constructive approach to Freyd categories
- Duoidally enriched Freyd categories
- On the Freyd categories of an additive category
- Enriched categories as a free cocompletion
- scientific article; zbMATH DE number 872568
- Publication:4938649
- Grothendieck enriched categories
- Grothendieck categories of enriched functors
- scientific article; zbMATH DE number 19054
- Factorizable enriched categories and applications
Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)
Cites Work
- Modelling environments in call-by-value programming languages.
- Linearly-used state in models of call-by-value
- Handlers of Algebraic Effects
- Title not available (Why is that?)
- Title not available (Why is that?)
- Premonoidal categories and notions of computation
- Title not available (Why is that?)
- Monads with arities and their associated theories
- Title not available (Why is that?)
- An Algebraic Presentation of Predicate Logic
- Title not available (Why is that?)
- Instances of Computational Effects: An Algebraic Perspective
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Notions of computation and monads
- Computational effects and operations: an overview
- Title not available (Why is that?)
- A universal property of the convolution monoidal structure
- A classification of accessible categories
- A note on actions of a monoidal category
- Title not available (Why is that?)
- Monads need not be endofunctors
- Categorical semantics for arrows
- Title not available (Why is that?)
- What is a Categorical Model of Arrows?
- On closed categories of functors
- Some Varieties of Equational Logic
- Notions of Lawvere theory
- Variations on algebra: Monadicity and generalisations of equational theories
- Generic models for computational effects
Cited In (9)
- Title not available (Why is that?)
- Graded Hoare logic and its categorical semantics
- Classical control and quantum circuits in enriched category theory
- Generic models for computational effects
- Duoidally enriched Freyd categories
- Commutative Semantics for Probabilistic Programming
- Graded algebraic theories
- Title not available (Why is that?)
- Cartesian effect categories are Freyd-categories
This page was built for publication: Freyd categories are enriched Lawvere theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q280202)
