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