From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6931
Path: news.gmane.org!not-for-mail
From: David Roberts <david.roberts@adelaide.edu.au>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: Reference requested
Date: Fri, 30 Sep 2011 17:08:06 +0930
Message-ID: <E1R9iGF-0002BN-5r@mlist.mta.ca>
References: <E1R92mj-0001a9-J1@mlist.mta.ca>
Reply-To: David Roberts <david.roberts@adelaide.edu.au>
NNTP-Posting-Host: lo.gmane.org
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Trace: dough.gmane.org 1317409088 25732 80.91.229.12 (30 Sep 2011 18:58:08 GMT)
X-Complaints-To: usenet@dough.gmane.org
NNTP-Posting-Date: Fri, 30 Sep 2011 18:58:08 +0000 (UTC)
To: "categories@mta.ca list" <categories@mta.ca>
Original-X-From: majordomo@mlist.mta.ca Fri Sep 30 20:58:04 2011
Return-path: <majordomo@mlist.mta.ca>
Envelope-to: gsmc-categories@m.gmane.org
Original-Received: from smtpx.mta.ca ([138.73.1.30])
	by lo.gmane.org with esmtp (Exim 4.69)
	(envelope-from <majordomo@mlist.mta.ca>)
	id 1R9iHb-0007RQ-5c
	for gsmc-categories@m.gmane.org; Fri, 30 Sep 2011 20:58:03 +0200
Original-Received: from mlist.mta.ca ([138.73.1.63]:37513)
	by smtpx.mta.ca with esmtp (Exim 4.76)
	(envelope-from <majordomo@mlist.mta.ca>)
	id 1R9iGG-0005ED-OX; Fri, 30 Sep 2011 15:56:40 -0300
Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71)
	(envelope-from <majordomo@mlist.mta.ca>)
	id 1R9iGF-0002BN-5r
	for categories-list@mlist.mta.ca; Fri, 30 Sep 2011 15:56:39 -0300
Precedence: bulk
Xref: news.gmane.org gmane.science.mathematics.categories:6931
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/6931>

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 =C2=A0functor Ob: Groupoids \to Sets? =C2=A0 The lef=
t adjoint
> is then of course the `discrete groupoid'. =C2=A0This agrees with the
> terminology for discrete and indiscrete topologies.
>
> I confess to have used different =C2=A0terminology in various places.
>
> Of course one use of these notions is to show that the functor Ob
> preserves limits and colimits, which is =C2=A0a start on constructing the=
m.
...

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