1: \begin{definition} 

2: \normalfont Let $\mathsf{d}$ be a deriving transformation and $\mathsf{s}$ be an integral transformation on the same coalgebra modality. A map $f: C \otimes \oc A \otimes A \to B$ satisfies the \textbf{First Fundamental Theorem} (in the last two arguments) if:

3: \[(1 \otimes (\mathsf{d}_A\mathsf{s}_A))f=f\]

4:  $$\begin{array}[c]{c}

5:    \resizebox{!}{2.5cm}{%

6: \begin{tikzpicture}

7: 	\begin{pgfonlayer}{nodelayer}

8: 		\node [style={circle, draw}] (0) at (-0.75, -0.5) {$f$};

9: 		\node [style=port] (1) at (0.25, 2.5) {};

10: 		\node [style=port] (2) at (-0.75, 2.5) {};

11: 		\node [style=codifferential] (3) at (-0.25, 0.75) {{\bf --------}};

12: 		\node [style=integral] (4) at (-0.25, 1.5) {{\bf =\!=\!=\!=}};

13: 		\node [style=port] (5) at (-1.5, 2.5) {};

14: 		\node [style=port] (6) at (-0.75, -1.25) {};

15: 	\end{pgfonlayer}

16: 	\begin{pgfonlayer}{edgelayer}

17: 		\draw [style=wire, bend right, looseness=1.00] (4) to (1);

18: 		\draw [style=wire, bend left, looseness=1.00] (4) to (2);

19: 		\draw [style=wire] (4) to (3);

20: 		\draw [style=wire, bend right, looseness=1.00] (3) to (0);

21: 		\draw [style=wire, in=30, out=-45, looseness=1.50] (3) to (0);

22: 		\draw [style=wire, in=150, out=-91, looseness=0.75] (5) to (0);

23: 		\draw [style=wire] (0) to (6);

24: 	\end{pgfonlayer}

25: \end{tikzpicture}}

26:    \end{array}=  \begin{array}[c]{c}

27:      \resizebox{!}{2.5cm}{%

28: \begin{tikzpicture}

29: 	\begin{pgfonlayer}{nodelayer}

30: 		\node [style={circle, draw}] (0) at (-0.75, -0.5) {$f$};

31: 		\node [style=port] (1) at (0, 2.5) {};

32: 		\node [style=port] (2) at (-0.75, 2.5) {};

33: 		\node [style=port] (3) at (-1.5, 2.5) {};

34: 		\node [style=port] (4) at (-0.75, -1.25) {};

35: 	\end{pgfonlayer}

36: 	\begin{pgfonlayer}{edgelayer}

37: 		\draw [style=wire, in=150, out=-91, looseness=0.75] (3) to (0);

38: 		\draw [style=wire] (0) to (4);

39: 		\draw [style=wire] (2) to (0);

40: 		\draw [style=wire, in=30, out=-93, looseness=0.75] (1) to (0);

41: 	\end{pgfonlayer}

42: \end{tikzpicture}}

43:    \end{array}$$

44: \end{definition}

45: