Yuechen Zhu

A group is a groupoid with a single object.