The continuum as a final coalgebra