From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8241 Path: news.gmane.org!not-for-mail From: Tom Leinster Newsgroups: gmane.science.mathematics.categories Subject: New book: Basic Category Theory Date: Sun, 27 Jul 2014 20:15:40 +0100 (BST) Message-ID: Reply-To: Tom Leinster NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII X-Trace: ger.gmane.org 1406553486 5903 80.91.229.3 (28 Jul 2014 13:18:06 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 28 Jul 2014 13:18:06 +0000 (UTC) Cc: Tom Leinster To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Jul 28 15:18:02 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 1XBkoT-00065r-AW for gsmc-categories@m.gmane.org; Mon, 28 Jul 2014 15:18:01 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:48678) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XBko5-0005j1-Ta; Mon, 28 Jul 2014 10:17:37 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XBko4-0002o5-8m for categories-list@mlist.mta.ca; Mon, 28 Jul 2014 10:17:36 -0300 Content-Disposition: inline Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8241 Archived-At: 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/ ]