Pages that link to "Item:Q3056295"
From MaRDI portal
The following pages link to Presentation of Set Functors: A Coalgebraic Perspective (Q3056295):
Displaying 7 items.
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- Vector bundles and differential bundles in the category of smooth manifolds (Q2040887) (← links)
- Connected monads weakly preserve products (Q2310433) (← links)
- Equational presentations of functors and monads (Q3005991) (← links)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)
- Variable binding and substitution for (nameless) dummies (Q6151566) (← links)
