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