We show that the category BCH of BCH-algebras and BCH-homomorphisms is complete. We also show that it has coequalizers. kernel pairs. and an image factorization system. https://www.alarecre.com/