From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2354 Path: news.gmane.org!not-for-mail From: Ronnie Brown Newsgroups: gmane.science.mathematics.categories Subject: Re: reference: normal categorical subgroup? Date: Sat, 14 Jun 2003 12:00:53 +0100 (BST) Message-ID: References: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241018599 3730 80.91.229.2 (29 Apr 2009 15:23:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:23:19 +0000 (UTC) To: categories Original-X-From: rrosebru@mta.ca Sat Jun 14 18:43:58 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 14 Jun 2003 18:43:58 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19RIiD-00006H-00 for categories-list@mta.ca; Sat, 14 Jun 2003 18:37:25 -0300 X-X-Sender: mas010@publix In-Reply-To: Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 45 Original-Lines: 66 Xref: news.gmane.org gmane.science.mathematics.categories:2354 Archived-At: A definition of normal subcrossed module was given by Kathy Norrie in her thesis, (see the references to her work in two papers in the April, 2003, issue of Applied Categorical Structures). Of course crossed modules are equivalent to cat^1-groups, (G,s,t), so it is a nice exercise to do the translation. The expected answer is (H,s',t') such that H is normal in G and invariant under s,t. However categorical groups are different to cat^1-groups, so it is a nice exercise to solve this problem. It would also be good to characterise groupoid objects internal to categorical groups, since these should generalise the congruences for those objects, and hopefully lead to a definition of free groupoid in categorical groups, and so to notions of free resolutions. For cat^1-groups (and crossed modules) there is a nice notion of induced object (see papers by Brown and Wensley in TAC, for example) which is required to compute the 2-type of a mapping cone induced on classifying spaces by a morphism of groups. Best regards Ronnie On Thu, 5 Jun 2003, Marco Mackaay wrote: > To all category theorists, > > I'm looking for a reference to the definition of a normal categorical > subgroup, i.e. the right kind of subgroupoid of a categorical group for > taking the quotient. I know the definition, but I have no reference. Does > anyone know a published origin of the definition? > > Best wishes, > > Marco Mackaay > > > > > > > > Prof R. Brown, School of Informatics, Mathematics Division, University of Wales, Bangor Dean St., Bangor, Gwynedd LL57 1UT, United Kingdom Tel. direct:+44 1248 382474|office: 382681 fax: +44 1248 361429 World Wide Web: home page: http://www.bangor.ac.uk/~mas010/ (Links to survey articles: Higher dimensional group theory Groupoids and crossed objects in algebraic topology) Centre for the Popularisation of Mathematics Raising Public Awareness of Mathematics CDRom Symbolic Sculpture and Mathematics: http://www.cpm.informatics.bangor.ac.uk/centre/index.html