From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8548 Path: news.gmane.org!not-for-mail From: Ronnie Brown Newsgroups: gmane.science.mathematics.categories,gmane.science.mathematics.algtop Subject: influence of groupoids on the category definition Date: Sun, 15 Mar 2015 11:54:21 +0000 Message-ID: Reply-To: Ronnie Brown NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1426510440 31635 80.91.229.3 (16 Mar 2015 12:54:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 16 Mar 2015 12:54:00 +0000 (UTC) Cc: John C Stillwell To: "categories@mta.ca" , algtop Original-X-From: majordomo@mlist.mta.ca Mon Mar 16 13:53:53 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YXUWm-0005jR-7u for gsmc-categories@m.gmane.org; Mon, 16 Mar 2015 13:53:52 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:40835) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YXUVp-0002g2-R7; Mon, 16 Mar 2015 09:52:53 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YXUVo-0004wm-H2 for categories-list@mlist.mta.ca; Mon, 16 Mar 2015 09:52:52 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8548 gmane.science.mathematics.algtop:1104 Archived-At: A recent discussion on the category list has been continued on http://mathoverflow.net/questions/199849/brandts-definition-of-groupoids-1926/199876 While trying to confirm my recollections of the interest of Reidemeister in groupoids I did a web search on Reidemeister 1932 Topologie, and to my pleasure saw on arxiv:1402.3906 Translation of Reidemeister's "Einf??hrung in die kombinatorische Topologie" John Stillwell I am writing to advertise this translation. Reidemeister has a section on "The groupoid", defines the fundamental groupoid, and also the action groupoid corresponding to a group action. I believe the next mention of groupoids in a topology text is by S-T Hu, 1964, which defines the fundamental groupoid, as does Spanier, 1966. This led me in the early 1960s to think I ought to include something on groupoids in the book I was writing. Then I came across Philip Higgins' 1964 paper on presentations of groupoids, which included a definition of free products with amalgamation of groupoids; so I set an exercise on a van Kampen type result. When I wrote out a solution of that, it seemed so much better than my then current treatment that I decided to give a full account. It still needed the notion of the fundamental groupoid on a set of base points to get the appropriate general result, published in 1967. My text, now called "Topology and Groupoids", is still the only topology text in English to give a van Kampen theorem in that setting. See the discussion on http://mathoverflow.net/questions/40945/compelling-evidence-that-two-basepoints-are-better-than-one/46808 In April 1967 G W Mackey introduced himself to me at a British Mathematical Colloquium where I had given a talk on these results, and he told me of his work on virtual groups and ergodic groupoids, which involved the action groupoid of a group action. So I thought I ought to do a chapter on covering spaces using the notion used by Higgins of covering morphism of groupoids. Thus a covering map is modelled algebraically by a covering morphism, which has advantages for results on liftings of maps and morphisms. This fits of course with Reidemeisater's action groupoid, which was used much later by Ehresmann and Grothendieck. The last Chapter of Reidemeister's book is on Branched Coverings. I have often wondered if the use of groupoids can be helpful in that notion. Ronnie Brown [For admin and other information see: http://www.mta.ca/~cat-dist/ ]