Categorical Algebra and its Applications