Given two categories and functors $\mathcal{F}: \mathcal{A} \to \mathcal{B}$ and $\mathcal{G}: \mathcal{A} \to \mathcal{B}$ then the natural...