Freyd categories are enriched Lawvere theories

DOI10.1016/J.ENTCS.2014.02.010zbMATH Open1338.18033OpenAlexW2009839058WikidataQ113317886 ScholiaQ113317886MaRDI QIDQ280202FDOQ280202

Sam Staton

Publication date: 6 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.02.010

zbMATH Keywords

monadsFreyd categoriesLawvere theoriesnotions of computation

Mathematics Subject Classification ID

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modelling environments in call-by-value programming languages.
• Linearly-Used State in Models of Call-by-Value
• Handlers of Algebraic Effects
• Premonoidal categories and notions of computation
• Monads with arities and their associated theories
• An Algebraic Presentation of Predicate Logic
• Instances of Computational Effects: An Algebraic Perspective
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Notions of computation and monads
• Computational effects and operations: an overview
• A universal property of the convolution monoidal structure
• A classification of accessible categories
• A note on actions of a monoidal category
• Monads Need Not Be Endofunctors
• Categorical semantics for arrows
• 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 (6)

• Graded Hoare logic and its categorical semantics
• Classical control and quantum circuits in enriched category theory
• Duoidally enriched Freyd categories
• Commutative Semantics for Probabilistic Programming
• Graded algebraic theories
• Title not available (Why is that?)

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Grothendieck enriched categories 👍 👎
• Grothendieck categories of enriched functors 👍 👎
• Title not available (Why is that?) 👍 👎
• Factorizable enriched categories and applications 👍 👎

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)