Homological coalgebra | Synapse