4.1.3. Pointed case
We denote by the strict monoidal differential pointed category generated by an object and a map subject to the relations (4.1.1). Its objects are the , , for and .
Let be a differential pointed category.
A -representation on is the data of a strict monoidal differential pointed functor . This is equivalent to the data of an endofunctor of the differential pointed category and such that induce a -representation on .
Original source: arXiv:2009.09627v2