Skip to content
Kaevu
Home
Projects
Baseball
Bookmarks
More
Reading
Chess
Blog
Bookmarks: cs/theory
All bookmarks
· shelf cs/theory
1 bookmark tagged cs/theory
article
·
Dmitrii Kovanikov aka chshersh
·
9 min
Pragmatic Category Theory | Part 1: Semigroup Intro
This blog post introduces semigroups as a foundational abstraction from abstract algebra and category theory, explaining how a semigroup consists of a type and an associative append operation. It provides concrete OCaml examples (integer addition and multiplication) and outlines real‑world use cases such as MapReduce, string building, and composable validation. The author aims to demystify these concepts and show their practical utility in functional programming.
cs
theory
2026-09-08
