Freyd categories are enriched Lawvere theories

DOI10.1016/J.ENTCS.2014.02.010MaRDI QIDQ280202zbMATH OpenOpenAlexWikidataFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3855352 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1560717 (Why is no real title available?)
• scientific article; zbMATH DE number 1373521 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• scientific article; zbMATH DE number 1405668 (Why is no real title available?)
• A classification of accessible categories
• A note on actions of a monoidal category
• A universal property of the convolution monoidal structure
• An algebraic presentation of predicate logic (extended abstract)
• Categorical semantics for arrows
• Computational effects and operations: an overview
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Generic models for computational effects
• Handlers of Algebraic Effects
• Instances of computational effects: an algebraic perspective
• Linearly-used state in models of call-by-value
• Modelling environments in call-by-value programming languages.
• Monads need not be endofunctors
• Monads with arities and their associated theories
• Notions of Lawvere theory
• Notions of computation and monads
• On closed categories of functors
• Premonoidal categories and notions of computation
• Some Varieties of Equational Logic
• Variations on algebra: Monadicity and generalisations of equational theories
• What is a categorical model of arrows?

Cited in

(9)

• Graded Hoare logic and its categorical semantics
• Cartesian effect categories are Freyd-categories
• Commutative semantics for probabilistic programming
• Generic models for computational effects
• Duoidally enriched Freyd categories
• Classical control and quantum circuits in enriched category theory
• scientific article; zbMATH DE number 2061718 (Why is no real title available?)
• Classical control, quantum circuits and linear logic in enriched category theory
• Graded algebraic theories

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)