path coalgebra