Lawvere’s algebraic theories are an elegant and flexible way of encoding algebraic structures, ranging from group actions on sets to modules over rings and beyond. We discuss a construction of the algebraic K-theory of such theories that generalizes the algebraic K-theory of a ring and show that this construction allows us to build Loday assembly-style maps. This is joint work with Markus Szymik.
Menu