< PlanetPhysics

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

Category

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

See also

References

  1. ↑ Sherman K Stein (April 1963). "Finite models of identities". Proceedings of the American Mathematical Society 14 (02): 216-22. http://www.ams.org/proc/1963-014-02/S0002-9939-1963-0144995-X/S0002-9939-1963-0144995-X.pdf. Retrieved 2015-06-29.
  2. ↑ T Altenkirch (July 1999). Extensional equality in intensional type theory, In: Logic in Computer Science (PDF). 14th. IEEE. pp. 412–20. doi:10.1109/LICS.1999.782636. ISBN 0-7695-0158-3. Retrieved 2015-06-29.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.