Title: Categorical Algebra and Its Applications