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."[1]


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

See alsoEdit


  1. Sherman K Stein (April 1963). "Finite models of identities". Proceedings of the American Mathematical Society 14 (02): 216-22. Retrieved 2015-06-29. 
  2. T Altenkirch (July 1999). Extensional equality in intensional type theory, In: Logic in Computer Science. 14th. IEEE. pp. 412-20. doi:10.1109/LICS.1999.782636. ISBN 0-7695-0158-3. Retrieved 2015-06-29. 

External linksEdit