nLab
codiscrete groupoid

Contents

Idea

The codiscrete groupoid on a set is the groupoid whose objects are the elements of the set and which has a unique morphism for every ordered pair of objects.

This is also called the pair groupoid of XX and sometimes the chaotic groupoid on XX.

Definition

For XX set, the codiscrete groupoid of XX is the groupoid Codisc(X)Codisc(X) with

  • Obj(X)=XObj(X) = X;

  • Mor(X)=X×XMor(X) = X \times X.

This definition makes sense also internally, for XX an object in any category with finite limits. (In fact, this is one of those cases where the category can easily be defined with some limits lacking; we need only finite products of XX.)

Remark The codiscrete groupoid on XX is also sometimes called the chaotic groupoid on XX. The intuition is probably that “everything being connected with everything else sounds pretty chaotic”, but one can argue that the term “chaotic groupoid” exactly misses the true intrinsic nature of codiscrete groupoids: since these are all just “puffed up versions of the point” they are “maximally homogenous” things. Which space would be less chaotic than the point?

Properties

  • Every codiscrete groupoid on an inhabited set is contractible: equivalent to the point. More generally, any codiscrete groupoid is equivalent to a truth value.

  • For XX a finite set of cardinality n>0n \gt 0, the category algebra of Codisc(X)Codisc(X) is the algebra of n×nn\times n matrices. The contractibility of Codisc(X)Codisc(X) is reflected in the fact that this algebra is Morita equivalent to the ground ring, which is the category algebra of the point.

    This maybe serves to illustrate: even though codiscrete groupoids are pretty trivial, they are not too trivial to be entirely without interest. Often it is useful to have big puffed-up versions of the point available.

  • The underlying quiver of a codiscrete groupoid is a complete graph? (in that there is one and only one edge between any ordered pair of vertices).

  • The nerves of codiscrete groupoids are precisely the codiscrete objects in sSet, regarded as a cohesive topos.

Revised on March 9, 2012 11:20:36 by Urs Schreiber (82.172.178.200)