Traced Premonoidal Categories

DOI10.1051/ita:2003020zbMath1110.68356OpenAlexW2040525745MaRDI QIDQ4460686

J. M. E. Hyland, Nick Benton

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

zbMATH Keywords

Freyd categoryConway operators in Cartesian categories

Mathematics Subject Classification ID

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

Related Items (max. 100)

Semantics of value recursion for Monadic Input/Output ⋮ A Semantical Approach to Equilibria and Rationality ⋮ Parametrized fixed points and their applications to session types ⋮ Categorifying Computations into Components via Arrows as Profunctors ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ Traces in symmetric monoidal categories ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Complete Elgot monads and coalgebraic resumptions ⋮ Von Neumann categories ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes ⋮ Categorical semantics for arrows ⋮ Inversion, Iteration, and the Art of Dual Wielding ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics ⋮ Comonadic Notions of Computation

Uses Software

• Haskell
• Lava

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Using circular programs to eliminate multiple traversals of data
• New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
• Group axioms for iteration
• An equational notion of lifting monad
• Generalising monads to arrows
• Axiomatizing schemes and their behaviors
• The Uniformity Principle on Traced Monoidal Categories
• Recursive monadic bindings
• Premonoidal categories and notions of computation
• An abstract monadic semantics for value recursion
• Semantics of value recursion for Monadic Input/Output
• Traced monoidal categories
• A new notation for arrows

This page was built for publication: Traced Premonoidal Categories