Pages that link to "Item:Q3005991"
From MaRDI portal
The following pages link to Equational presentations of functors and monads (Q3005991):
Displaying 14 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- On finitary functors and their presentations (Q2341699) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Equational Reasoning with Applicative Functors (Q2829262) (← links)
- L ax F: Side Conditions and External Evidence as Monads (Q2922027) (← links)
- (Q4284258) (← links)
- (Q4499236) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- Shapely monads and analytic functors (Q4684352) (← links)
- (Q5089005) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- Foundations of Software Science and Computation Structures (Q5899087) (← links)