Categorical Proof Theory of Classical Propositional Calculus