Tom Leinster (changes) in nLab

Showing changes from revision #11 to #12: Added | Removed | Changed

Tom Leinster is a mathematician at the University of Edinburgh.

• web

Selected writings

• Rethinking set theory, e-print arXiv:1212.6543 [math.LO], 2012; see also discussion on nCafé

  This is an expository article for a general mathematical readership. It describes ETCS, but without assuming any knowledge of category theory or ever defining a category.

• A survey of definitions of n-category, e-print math.CT/0107188, 2001; also Theory and Applications of Categories 10 (2002), no. 1, 1–70.

• An informal introduction to topos theory, Publications of the nLab vol. 1 no. 1 (2011).

  At https://ncatlab.org/publications/published/Leinster2011 , but as of 2022 the live version is not entirely readable: the diagrams and some other typesetting are broken.

  A readable version (give the scripts a few seconds to load after opening the page) can be found in the Internet Archive.

On commutativity of limits with colimits:

• Marie Bjerrum, Peter Johnstone, Tom Leinster, William F. Sawin, Notes on commutation of limits and colimits, Theory and Applications of Categories 30 (2015), 527-532 [[arXiv:1409.7860](http://arxiv.org/abs/1409.7860), tac:3015]

On Isbell duality and reflexive completion:

• Tom Avery, Tom Leinster. Isbell conjugacy and the reflexive completion. Theory and Applications of Categories, 36 12 (2021) 306-347 [[tac:36-12](http://www.tac.mta.ca/tac/volumes/36/12/36-12abs.html), pdf]

Books

• Basic Category Theory, 2014

  Short description from author’s web page for book:

  Basic Category Theory is an introductory category theory textbook. Features:

  • It doesn’t assume much, either in terms of background or mathematical maturity.

  • It sticks to the basics.

  • It’s short.

  Advanced topics are omitted, leaving more space for careful explanations of the core concepts. I have used versions of this text to teach final-year undergraduate and master’s-level courses at the Universities of Glasgow and Edinburgh.

• Tom Leinster, Higher operads, higher categories, London Math. Soc. Lec. Note Series 298, Cambridge University Press (2004) [[math.CT/0305049](http://arxiv.org/abs/math.CT/0305049), doi:10.1017/CBO9780511525896]

• Entropy and Diversity: The Axiomatic Approach, Cambridge UP, 2021