Re: Reference requested

Or codiscrete groupoid? David On 29 September 2011 23:11, Ronnie Brown <ronnie.profbrown@btinternet.com> wrote:

Why not use the term `indiscrete groupoid' for the functor that gives a right adjoint to the  functor Ob: Groupoids \to Sets?   The left adjoint is then of course the `discrete groupoid'.  This agrees with the terminology for discrete and indiscrete topologies.

I confess to have used different  terminology in various places.

Of course one use of these notions is to show that the functor Ob preserves limits and colimits, which is  a start on constructing them. ...

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]