Wrote some stuff on initial dialgebras from initial algebras and something on homotopy coequalisers and 1-hits.