Homotopy in Exact Categories | Synapse