What is a Categorical Model of Arrows?
From MaRDI portal
Publication:5166619
DOI10.1016/j.entcs.2011.02.014zbMath1291.68107OpenAlexW2106805101WikidataQ57636181 ScholiaQ57636181MaRDI QIDQ5166619
Publication date: 27 June 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2011.02.014
Functional programming and lambda calculus (68N18) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (7)
Freyd categories are enriched Lawvere theories ⋮ Categorifying Computations into Components via Arrows as Profunctors ⋮ Compositional Game Theory, Compositionally ⋮ Cartesian effect categories are Freyd-categories ⋮ Unnamed Item ⋮ Notions of computation as monoids ⋮ Commutative Semantics for Probabilistic Programming
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- Generic models for computational effects
- Modelling environments in call-by-value programming languages.
- Generalising monads to arrows
- Premonoidal categories and notions of computation
- The arrow calculus
- Applicative programming with effects
This page was built for publication: What is a Categorical Model of Arrows?
