The following pages link to On coalgebra of real numbers (Q4256314):
Displaying 6 items.
- On final coalgebras of continuous functors (Q1398459) (← links)
- The continuum as a final coalgebra (Q1603817) (← links)
- Coalgebra and abstraction (Q1981994) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)