Traced Premonoidal Categories
From MaRDI portal
Publication:4460686
DOI10.1051/ITA:2003020zbMATH Open1110.68356OpenAlexW2040525745MaRDI QIDQ4460686FDOQ4460686
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
Recommendations
Cites Work
- Group axioms for iteration
- Premonoidal categories and notions of computation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Notions of computation and monads
- Traced monoidal categories
- Title not available (Why is that?)
- Generalising monads to arrows
- Title not available (Why is that?)
- Axiomatizing iteration categories
- Title not available (Why is that?)
- Using circular programs to eliminate multiple traversals of data
- Recursive monadic bindings
- An equational notion of lifting monad
- A new notation for arrows
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
- Axiomatizing schemes and their behaviors
- An abstract monadic semantics for value recursion
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
- Title not available (Why is that?)
- Symmetric monoidal sketches and categories of wirings
- Semantics of value recursion for Monadic Input/Output
- The uniformity principle on traced monoidal categories
Cited In (21)
- A coinductive calculus for asynchronous side-effecting processes
- Traces in symmetric monoidal categories
- Semantics of value recursion for Monadic Input/Output
- Promonads and String Diagrams for Effectful Categories
- The uniformity principle on traced monoidal 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
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- Premonoidal categories as categories with algebraic structure
- 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
Uses Software
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)
