coalgebra toc