Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems