Definition 4.1.2. A -representation on is the data of a strict monoidal differential functor .
Original source: arXiv:2009.09627v2
Definition 4.1.2. A -representation on is the data of a strict monoidal differential functor .
Original source: arXiv:2009.09627v2