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