The Algebraic Essence of K-Rep