[[!redirects dyadic interval coalgebra]] < [[nlab:dyadic interval coalgebra]] category: redirected to nlab