Search
❯
08 Dec 20251 min read
A moniod is a category with only one element. Monoid homomorphism is any functor between monoids.