1: \begin{definition} \normalfont In a calculus category, a \textbf{calculus object} is an object $A$ such that the deriving transformation $\mathsf{d}_A$ and the integral transformation $\mathsf{s}_A$ satisfy the \textbf{First Fundamental Theorem of Calculus}, $\mathsf{d}_A\mathsf{s}_A=1_{\oc A \otimes A}$. 

2: \end{definition}

3: