Categorical semantics for arrows

DOI10.1017/S0956796809007308zbMath1191.68406DBLPjournals/jfp/JacobsHH09OpenAlexW2166351442WikidataQ57636182 ScholiaQ57636182MaRDI QIDQ3638922

Ichiro Hasuo, Bart Jacobs, Chris Heunen

Publication date: 28 October 2009

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796809007308

zbMATH Keywords

monadFreyd categories

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (16)

Coalgebraic Components in a Many-Sorted Microcosm ⋮ Freyd categories are enriched Lawvere theories ⋮ Reversible effects as inverse arrows ⋮ Categorifying Computations into Components via Arrows as Profunctors ⋮ Quotienting the delay monad by weak bisimilarity ⋮ Implication via spacetime ⋮ A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics ⋮ Commutativity ⋮ Promonads and String Diagrams for Effectful Categories ⋮ Duoidally enriched Freyd categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reversible monadic computing ⋮ Notions of computation as monoids ⋮ Commutative Semantics for Probabilistic Programming ⋮ Traces for coalgebraic components

Uses Software

• Haskell

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Arrows for secure information flow
• A small complete category
• Categorical logic and type theory
• Modelling environments in call-by-value programming languages.
• Generalising monads to arrows
• Distributive laws for the coinductive solution of recursive equations
• The formal theory of monads
• Premonoidal categories and notions of computation
• Traced Premonoidal Categories
• A new notation for arrows
• Profunctors, open maps and bisimulation
• Structuring quantum effects: superoperators as arrows
• On closed categories of functors

This page was built for publication: Categorical semantics for arrows