The following pages link to Mongruences and cofree coalgebras (Q5096389):
Displaying 21 items.
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- Cofree coalgebras and multivariable recursiveness. (Q1413887) (← links)
- Object-oriented hybrid systems of coalgebras plus monoid actions (Q1575271) (← links)
- A hidden agenda (Q1575735) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Free-algebra functors from a coalgebraic perspective (Q2229228) (← links)
- Kernels, in a nutshell (Q2374308) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- Comprehension for coalgebras (Q2842555) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- (Q4466641) (← links)
- (Q4499307) (← links)
- Some facets of Horn covarieties in a category (Q4639649) (← links)
- Modal Operators for Coequations (Q4917039) (← links)
- Invariants of monadic coalgebras (Q4917042) (← links)
- Bialgebraic Semantics and Recursion (Q4917044) (← links)
- Specifying coalgebras with modal logic (Q5941162) (← links)
- From modal logic to terminal coalgebras (Q5941165) (← links)
- Equational axiomatizability for coalgebra (Q5941166) (← links)