Title: Discrete Algebra with Applications to Higher Lie Theory