The following pages link to (Q4329244):
Displaying 8 items.
- Stone coalgebras (Q703523) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
- Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic (Q2842556) (← links)
- A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras (Q2842561) (← links)
- Factorization systems and fibrations (Q2842821) (← links)
