This is a pretty common joke/expression among mathematicians i.e. "As you all know from kindergarten abelian groups are just monoidal groupoids with a single ob

This is a pretty common joke/expression among mathematicians i.e. "As you all know from kindergarten abelian groups are just monoidal groupoids with a single object" or whatever.