Thomas "Tom" Stephen Hampden Leinster (born 1971) is a British mathematician, known for his work on category theory.
Leinster graduated in 2000 with a PhD from the University of Cambridge. His PhD thesis Operads in Higher-Dimensional Category Theory was supervised by Martin Hyland. [1] After teaching at the University of Glasgow, Leinster became, and is now, a professor at the University of Edinburgh. He published textbooks on category theory [2] and higher categories and operads. [3] In the 2010s, he was mainly concerned with a generalisation of the Euler characteristic in category theory, the magnitude. He also considered such generalisations in metric spaces with application in biology (measurement of biodiversity).
Leinster groups (i.e., finite groups whose order is equal to the sum of the orders of their normal subgroups) are named in his honour. [4] He received the 2019 Chauvenet Prize for Rethinking Set Theory [5] (based upon an axiomatisation published in 1964 by F. William Lawvere). [6] He is a frequent author and moderator for the academic group blog n-Category Café, where topics from mathematics, science and philosophy are discussed, often from the perspective of category theory. [7] International media attention resulted from a 2014 article by Leinster in the New Scientist . [8] Leinster's article called, on the basis of ethics, for mathematicians to refuse to work for intelligence agencies. [9] [10] [11] In German-speaking countries, this was reported by, among others, Der Spiegel [12] and Zeit Online . [13]