MathecodemoonWriting and personal projects from Mathecodemoon, exploring computer science, physics, and mathematics.https://an.otherdev.xyz/Forcing Injectivity: From Quotients to Equalizershttps://an.otherdev.xyz/posts/forcing-injectivity/https://an.otherdev.xyz/posts/forcing-injectivity/How quotients and equalizers force injectivity, from vector spaces and groups to category theory.Thu, 06 Aug 2026 00:00:00 GMT