PlanetPhysics/Trivial Groupoid

"At the opposite extreme to varieties determined by their finite members are those which have only one finite member, the trivial groupoid."

Category
"Categorically any setoid is a trivial groupoid, ie a category where every morphism is an isomorphism."