Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas