Homotopy Type Theory functor > history

Redirected from "representation up to homotopy".
Note: Lie infinity-algebroid representation and infinity-representation both redirect for "representation up to homotopy".