The following pages link to Arrows, like monads, are monoids (Q2851324):
Displaying 10 items.
- Monad transformers as monoid transformers (Q615955) (← links)
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- Generalising monads to arrows (Q1566910) (← links)
- Comonadic notions of computation (Q2873672) (← links)
- Categorifying computations into components via arrows as profunctors (Q2919448) (← links)
- Categorical semantics for arrows (Q3638922) (← links)
- Compositional Game Theory, Compositionally (Q5019677) (← links)
- What is a Categorical Model of Arrows? (Q5166619) (← links)
- The arrow calculus (Q5189645) (← links)
- Promonads and String Diagrams for Effectful Categories (Q6150166) (← links)