The following pages link to Categorical semantics for arrows (Q3638922):
Displaying 14 items.
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Commutativity (Q899553) (← links)
- Reversible effects as inverse arrows (Q2134817) (← links)
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics (Q2189508) (← links)
- Implication via spacetime (Q2658280) (← links)
- Coalgebraic Components in a Many-Sorted Microcosm (Q2888477) (← links)
- Categorifying Computations into Components via Arrows as Profunctors (Q2919448) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- (Q3384908) (← links)
- Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)
- Notions of computation as monoids (Q4625158) (← links)
- Reversible monadic computing (Q5971401) (← links)
- Promonads and String Diagrams for Effectful Categories (Q6150166) (← links)
