Pages that link to "Item:Q280202"

The following pages link to Freyd categories are enriched Lawvere theories (Q280202):

Displaying 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)