Equational and monoidal theories are linked by Fox's theorem ([1]}), recalled here – this will be explained in §REF .
Cartesian categories are categories with finite products, and cartesian functors preserve them. Fox showed that cartesian categories are exactly those that have a certain algebraic structure.
