From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8256 Path: news.gmane.org!not-for-mail From: "Harley D. Eades III" Newsgroups: gmane.science.mathematics.categories Subject: Re: New book: Basic Category Theory Date: Tue, 29 Jul 2014 14:40:03 -0400 Message-ID: References: Reply-To: "Harley D. Eades III" NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1406751675 12213 80.91.229.3 (30 Jul 2014 20:21:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 30 Jul 2014 20:21:15 +0000 (UTC) Cc: categories@mta.ca To: Tom Leinster Original-X-From: majordomo@mlist.mta.ca Wed Jul 30 22:21:10 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XCaN1-0003Ks-V2 for gsmc-categories@m.gmane.org; Wed, 30 Jul 2014 22:21:08 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:49217) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XCaM7-00006F-Fh; Wed, 30 Jul 2014 17:20:11 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XCaM6-0002h2-UC for categories-list@mlist.mta.ca; Wed, 30 Jul 2014 17:20:10 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8256 Archived-At: Hi, Tom. Congrats on the successful completion of your book! I really like your idea on a second book. Such a book would be very helpful for young researchers and students in my opinion. Has anyone thought about doing it as a group effort in the same spirit as the homotopy type theory book was? A number of authors would make the writing burden far less per author, and potentially speed up the writing process. Anyway, just an idea. I really like how you're are making your new book editable and readable for free in 18 months. This is a great idea, and a service to the community. The second book should do the same. Very best, .\ Harley On Jul 27, 2014, at 3:15 PM, Tom Leinster wrote: > Dear all, > > It's not clear that the world needs another introductory book on category > theory, but I've written one: > > Tom Leinster, Basic Category Theory. > Cambridge University Press, published 24 July 2014. > > http://www.maths.ed.ac.uk/~tl/bct > > Its main features: it doesn't assume much, it sticks to the basics, and > it's short. You can read some extracts at the web address above. > > In 18 months, it will be both freely downloadable and freely editable. > So if it's not quite suitable for a course you're teaching, or if you > don't like the notation (and when have two category theorists ever agreed > on that?), you'll be able to change it. More details when the time comes. > > > What the world does need, I think, is a *second* book on category theory, > picking up where Categories for the Working Mathematician leaves off. Of > course, we already have Francis Borceux's magnum opus, but I think there's > also a market for something much shorter. I'm envisaging a book of > similar length to CWM, and written with a similarly selective ethos. > Tentative list of chapters, in no particular order: > > * Enriched categories > * 2-categories (and a little on higher categories) > * Ends and Kan extensions (already in CWM, but maybe worth another pass) > * Topos theory (clearly just an introduction!) and categorical set theory > * Fibrations > * Bimodules, Morita equivalence, Cauchy completeness & absolute colimits > * Flat functors and locally presentable categories > * Operads and Lawvere theories > * Categorical logic (again, just a little) and internal category theory > * Derived categories. > > Someone else should definitely write a book like that. > > Best wishes, > Tom > > -- > The University of Edinburgh is a charitable body, registered in > Scotland, with registration number SC005336. > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]