The following pages link to (Q4284258):
Displaying 8 items.
- Equational theories as congruences of enriched monoids (Q934894) (← links)
- Logics for classes of Boolean monoids (Q1876106) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- An equational metalogic for monadic equational systems (Q2855643) (← links)
- Truthful Monadic Abstractions (Q2908481) (← links)
- (Q4499236) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- Just do it (Q5176957) (← links)