From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2790 Path: news.gmane.org!not-for-mail From: Tom Leinster Newsgroups: gmane.science.mathematics.categories Subject: Preprint: A simple description of Thompson's group F Date: Wed, 31 Aug 2005 14:37:39 +0100 Message-ID: <1125495459.32083.3.camel@tl-linux.maths.gla.ac.uk> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018907 5822 80.91.229.2 (29 Apr 2009 15:28:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:28:27 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Aug 31 19:25:06 2005 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 31 Aug 2005 19:25:06 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1EAarj-0004Ho-S1 for categories-list@mta.ca; Wed, 31 Aug 2005 19:15:31 -0300 X-Mailer: Evolution 2.2.1 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 18 Original-Lines: 23 Xref: news.gmane.org gmane.science.mathematics.categories:2790 Archived-At: The following paper is available: "A simple description of Thompson's group F" Marcelo Fiore, Tom Leinster We show that Thompson's group F is the symmetry group of the "generic idempotent". That is, take the monoidal category freely generated by an object A and an isomorphism A \otimes A --> A; then F is the group of automorphisms of A. http://arxiv.org/abs/math.GR/0508617 Incidentally, this is a result about groups, but the proof uses some higher-dimensional category theory (multicategories, operads, and, less essentially, bicategories). Tom