Traced Premonoidal Categories

DOI10.1051/ITA:2003020MaRDI QIDQ4460686zbMATH OpenOpenAlexFDO

Authors Nick Benton, Martin Hyland

Publication date 29 March 2004

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=ITA_2003__37_4_273_0, https://eudml.org/doc/92724, https://semanticscholar.org/paper/56e902405b4c0e5ac8612420036fe97c7bdb029a

zbMATH Keywords

Freyd categoryConway operators in Cartesian categories

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Premonoidal categories and notions of computation
• From coalgebraic to monoidal traces
• The uniformity principle on traced monoidal categories
• scientific article; zbMATH DE number 1231608
• The uniformity principle on traced monoidal categories

Cites work

• scientific article; zbMATH DE number 431768 (Why is no real title available?)
• scientific article; zbMATH DE number 4099289 (Why is no real title available?)
• scientific article; zbMATH DE number 1393359 (Why is no real title available?)
• scientific article; zbMATH DE number 1405668 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
• A new notation for arrows
• An abstract monadic semantics for value recursion
• An equational notion of lifting monad
• Axiomatizing iteration categories
• Axiomatizing schemes and their behaviors
• Generalising monads to arrows
• Group axioms for iteration
• New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
• Notions of computation and monads
• Premonoidal categories and notions of computation
• Recursive monadic bindings
• Semantics of value recursion for Monadic Input/Output
• Symmetric monoidal sketches and categories of wirings
• The uniformity principle on traced monoidal categories
• Traced monoidal categories
• Using circular programs to eliminate multiple traversals of data

Cited in

(21)

• A coinductive calculus for asynchronous side-effecting processes
• Traces in symmetric monoidal categories
• Semantics of value recursion for Monadic Input/Output
• The uniformity principle on traced monoidal categories
• Promonads and String Diagrams for Effectful Categories
• Comonadic notions of computation
• Complete Elgot monads and coalgebraic resumptions
• Categorifying computations into components via arrows as profunctors
• A coinductive calculus for asynchronous side-effecting processes
• From coalgebraic to monoidal traces
• The uniformity principle on traced monoidal categories
• Parametrized fixed points and their applications to session types
• Duality and traces for indexed monoidal categories
• Premonoidal categories as categories with algebraic structure
• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
• Von Neumann categories
• How to prove decidability of equational theories with second-order computation analyser SOL
• Partially traced categories
• A Semantical Approach to Equilibria and Rationality
• Categorical semantics for arrows
• Inversion, iteration, and the art of dual wielding

Describes a project that uses

Uses Software

• Lava
• Haskell

This page was built for publication: Traced Premonoidal Categories

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