Freyd categories are enriched Lawvere theories

DOI10.1016/j.entcs.2014.02.010zbMath1338.18033OpenAlexW2009839058WikidataQ113317886 ScholiaQ113317886MaRDI QIDQ280202

Sam Staton

Publication date: 6 May 2016

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

zbMATH Keywords

monadsLawvere theoriesFreyd categoriesnotions of computation

Mathematics Subject Classification ID

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