Monoids, Monoidal Grothendieck Construction and Clifford Semigroups

Date: July 15, 2026