Pages that link to "Item:Q5166619"
From MaRDI portal
The following pages link to What is a Categorical Model of Arrows? (Q5166619):
Displaying 11 items.
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- Arrows, like monads, are monoids (Q2851324) (← links)
- Categorifying computations into components via arrows as profunctors (Q2919448) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- (Q3384908) (← links)
- Categorical semantics for arrows (Q3638922) (← links)
- Notions of computation as monoids (Q4625158) (← links)
- Compositional Game Theory, Compositionally (Q5019677) (← links)
- The arrow calculus (Q5189645) (← links)
- Type-safe quantum programming in Idris (Q6535254) (← links)