Pages that link to "Item:Q280202"
From MaRDI portal
The following pages link to Freyd categories are enriched Lawvere theories (Q280202):
Displaying 7 items.
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- Generic models for computational effects (Q860841) (← links)
- Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
- Graded algebraic theories (Q2200837) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- (Q5109520) (← links)