Showing changes from revision #3 to #4:
Added | Removed | Changed
A dyadic interval coalgebra is a type with a strict order , terms and , functions and , identities , , , , inequality , and terms
This is called simply an interval coalgebra by Peter Freyd, however there exist similarly defined interval coalgebras with terms and zooming operations, such as the decimal interval coalgebra.
The initial dyadic interval coalgebra is the unit interval on the dyadic rational numbers?
The terminal dyadic interval coalgebra is the real unit interval?