Algebraic K₀ for unpointed homotopy Categories | Synapse