Tom Leinster

Last updated

Thomas "Tom" Stephen Hampden Leinster (born 1971) is a British mathematician, known for his work on category theory.

Contents

Education and career

Leinster graduated in 2000 with a Ph.D. from the University of Cambridge. His Ph.D. 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 generalization of the Euler characteristic in category theory, the magnitude. He also considered such generalizations in metric spaces with application in biology (measurement of biodiversity).

Award and honour

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 axiomatization 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]

Selected publications

Related Research Articles

<span class="mw-page-title-main">Category theory</span> General theory of mathematical structures

Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory is used in almost all areas of mathematics. In particular, many constructions of new mathematical objects from previous ones that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality.

Universal algebra is the field of mathematics that studies algebraic structures themselves, not examples ("models") of algebraic structures. For instance, rather than take particular groups as the object of study, in universal algebra one takes the class of groups as an object of study.

Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. It is also notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970.

In mathematics, a multicategory is a generalization of the concept of category that allows morphisms of multiple arity. If morphisms in a category are viewed as analogous to functions, then morphisms in a multicategory are analogous to functions of several variables. Multicategories are also sometimes called operads, or colored operads.

In mathematics, a tricategory is a kind of structure of category theory studied in higher-dimensional category theory.

In mathematics, an operad is a structure that consists of abstract operations, each one having a fixed finite number of inputs (arguments) and one output, as well as a specification of how to compose these operations. Given an operad , one defines an algebra over to be a set together with concrete operations on this set which behave just like the abstract operations of . For instance, there is a Lie operad such that the algebras over are precisely the Lie algebras; in a sense abstractly encodes the operations that are common to all Lie algebras. An operad is to its algebras as a group is to its group representations.

Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory.

In category theory, a branch of mathematics, a PROP is a symmetric strict monoidal category whose objects are the natural numbers n identified with the finite sets and whose tensor product is given on objects by the addition on numbers. Because of “symmetric”, for each n, the symmetric group on n letters is given as a subgroup of the automorphism group of n. The name PROP is an abbreviation of "PROduct and Permutation category".

In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology, where one studies algebraic invariants of spaces, such as the fundamental weak ∞-groupoid.

In category theory, a weak n-category is a generalization of the notion of strict n-category where composition and identities are not strictly associative and unital, but only associative and unital up to coherent equivalence. This generalisation only becomes noticeable at dimensions two and above where weak 2-, 3- and 4-categories are typically referred to as bicategories, tricategories, and tetracategories. The subject of weak n-categories is an area of ongoing research.

<span class="mw-page-title-main">André Joyal</span> Canadian mathematician

André Joyal is a professor of mathematics at the Université du Québec à Montréal who works on category theory. He was a member of the School of Mathematics at the Institute for Advanced Study in 2013, where he was invited to join the Special Year on Univalent Foundations of Mathematics.

<span class="mw-page-title-main">Victor Ginzburg</span> Russian American mathematician (born 1957)

Victor Ginzburg is a Russian American mathematician who works in representation theory and in noncommutative geometry. He is known for his contributions to geometric representation theory, especially, for his works on representations of quantum groups and Hecke algebras, and on the geometric Langlands program. He is currently a Professor of Mathematics at the University of Chicago.

In mathematics, especially (higher) category theory, higher-dimensional algebra is the study of categorified structures. It has applications in nonabelian algebraic topology, and generalizes abstract algebra.

Isbell conjugacy is a fundamental construction of enriched category theory formally introduced by William Lawvere in 1986. That is a duality between covariant and contravariant representable presheaves associated with an objects of categories under the Yoneda embedding. In addition, Lawvere is states as follows; "Then the conjugacies are the first step toward expressing the duality between space and quantity fundamental to mathematics".

Steve Shnider is a retired professor of mathematics at Bar Ilan University. He received a PhD in Mathematics from Harvard University in 1972, under Shlomo Sternberg. His main interests are in the differential geometry of fiber bundles; algebraic methods in the theory of deformation of geometric structures; symplectic geometry; supersymmetry; operads; and Hopf algebras. He retired in 2014.

Carlos Tschudi Simpson is an American mathematician, specializing in algebraic geometry.

In category theory, a branch of mathematics, an opetope, a portmanteau of "operation" and "polytope", is a shape that captures higher-dimensional substitutions. It was introduced by John C. Baez and James Dolan so that they could define a weak n-category as a certain presheaf on the category of opetopes.

<span class="mw-page-title-main">Ralph Kaufmann</span> German mathematician

Ralph Martin Kaufmann is a German mathematician working in the United States.

Mikhail Kapranov, is a Russian mathematician, specializing in algebraic geometry, representation theory, mathematical physics, and category theory. He is currently a professor of the Kavli Institute for the Physics and Mathematics of the Universe at the University of Tokyo.

Charles Waldo Rezk is an American mathematician, specializing in algebraic topology and category theory.

References

  1. ↑ Tom Leinster at the Mathematics Genealogy Project
  2. ↑ Tom Leinster (2014). Basic Category Theory. Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press. doi:10.1017/cbo9781107360068. ISBN   978-1-107-04424-1.
  3. ↑ Tom Leinster (2004). Higher Operads, Higher Categories. London Mathematical Society Lecture Note Series. Cambridge: Cambridge University Press. arXiv: math/0305049 . doi:10.1017/cbo9780511525896. ISBN   978-0-521-53215-0.
  4. ↑ Baishya, Sekhar Jyoti (January 2014). "Revisiting the Leinster groups". Comptes Rendus Mathematique . 352 (1): 1–6. Bibcode:2014CRMat.352....1B. doi:10.1016/j.crma.2013.11.009. ISSN   1631-073X.
  5. ↑ "MAA to Honor Authors of Year's Best Writing in Mathematics | Mathematical Association of America".
  6. ↑ Lawvere, F. William (1964). "An elementary theory of the category of sets". Proceedings of the National Academy of Sciences . 52 (6): 1506–1511. Bibcode:1964PNAS...52.1506L. doi: 10.1073/pnas.52.6.1506 . PMC   300477 .
  7. ↑ "Posts by Tom Leinster, The n-Category Café".
  8. ↑ Tom Leinster (April 26, 2014). "Maths spying: the quandary of working for the spooks". New Scientist. 222 (2966): 26–27. Bibcode:2014NewSc.222...26L. doi:10.1016/S0262-4079(14)60827-7. ISSN   0262-4079. reprint in slate.com
  9. ↑ Mathematicians: refuse to work for the NSA!, Boing Boing , 27 April 2014
  10. ↑ Mathematicians Push Back Against The NSA, Slashdot, 27 April 2014
  11. ↑ Un mathématicien appelle ses collègues à ne plus travailler pour la NSA », Mediapart , 28 avril 2014 lire le texte ici
  12. ↑ Holger Dambeck (28 April 2014). "NSA: Mathematiker ruft Kollegen auf nicht für Geheimdienst zu arbeiten (NSA: Mathematician calls on colleagues not to work for secret service)". Spiegel Online (in German).
  13. ↑ Patrick Beuth (April 28, 2014). "Mathematiker ruft zum Geheimdienst-Boykott auf (Mathematician calls on secret service boycott)". Die Zeit (in German).
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.