The following pages link to Traced Premonoidal Categories (Q4460686):
Displaying 20 items.
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Traces in symmetric monoidal categories (Q404679) (← links)
- Von Neumann categories (Q748710) (← links)
- Premonoidal categories as categories with algebraic structure (Q1605185) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- The uniformity principle on traced monoidal categories (Q1769599) (← links)
- Partially traced categories (Q1940191) (← links)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- The uniformity principle on traced monoidal categories (Q2842820) (← links)
- Duality and traces for indexed monoidal categories (Q2847338) (← links)
- Comonadic notions of computation (Q2873672) (← links)
- A Semantical Approach to Equilibria and Rationality (Q2888496) (← links)
- Categorifying computations into components via arrows as profunctors (Q2919448) (← links)
- From coalgebraic to monoidal traces (Q2919453) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Categorical semantics for arrows (Q3638922) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- Inversion, Iteration, and the Art of Dual Wielding (Q5237212) (← links)
