Category theory and algebra