Pages that link to "Item:Q280202"
From MaRDI portal
The following pages link to Freyd categories are enriched Lawvere theories (Q280202):
Displayed 5 items.
- 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)