Search
❯
15 Apr 20261 min read
A moniod is a category with only one element. Monoid homomorphism is any functor between monoids.