1: \begin{definition} \normalfont A \textbf{calculus category} is a differential category and an integral category on the same coalgebra modality such that the deriving transformation and the integral transformation satisfy the Second Fundamental Theorem of Calculus and the Poincar\' e condition. 

2: \end{definition}

3: