I'm a programmer interested in category theory and algebra. I'm not good at writing in English and want to practice.