1: \begin{definition}\label{cocaldef} A \textbf{co-calculus category} \cite{integralAndCalcCats} is a codifferential category and a co-integral category on the same algebra modality such that the deriving transformation $\dt$ and the integral transformation $\iT$ satisfy the following: 

2: \begin{enumerate}[{\bf [c.1]}]

3: \item The \textbf{Second Fundamental Theorem of Calculus}:  $\dt\iT + S(0)=1$;

4: \item The \textbf{Poincar\' e condition}: if $f: B \to S(C) \otimes C$ is such that

5: \[f(\dt \otimes 1)(1 \otimes \sigma)=f(\dt \otimes 1)\]

6: then $f$ \textbf{satisfies the First Fundamental Theorem}; that is, $f \iT \dt=f$.  

7: \end{enumerate}

8: \end{definition}

9: