Categorifying computations into components via arrows as profunctors

DOI10.1016/J.ENTCS.2010.07.012MaRDI QIDQ2919448zbMATH OpenOpenAlexFDO

Authors Kazuyuki Asada, Ichiro Hasuo

Publication date 2 October 2012

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.2010.07.012

zbMATH Keywords

arrowcoalgebracomponentcomputationprofunctor

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Recommendations

• What is a categorical model of arrows?
• Arrows, like monads, are monoids
• Categorical semantics for arrows
• The arrow calculus
• Coalgebraic components in a many-sorted microcosm

Cites work

• A new notation for arrows
• A small complete category
• Categorical logic and type theory
• Categorical semantics for arrows
• Coalgebraic components in a many-sorted microcosm
• Comonadic notions of computation
• Generalising monads to arrows
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1303764 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• Modelling environments in call-by-value programming languages.
• Monads on symmetric monoidal closed categories
• Notions of computation and monads
• Premonoidal categories and notions of computation
• The formal theory of monads
• The Microcosm Principle and Concurrency in Coalgebra
• Traced Premonoidal Categories
• Universal coalgebra: A theory of systems
• What is a categorical model of arrows?

Cited in

(5)

• Coalgebraic components in a many-sorted microcosm
• Traces for coalgebraic components
• Notions of computation as monoids
• What is a categorical model of arrows?
• Algebraic effects and handlers for arrows

This page was built for publication: Categorifying computations into components via arrows as profunctors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2919448)