Thomas Stephen Hampden Leinster, né en 1971, est un mathématicien britannique reconnu pour ses contributions à la théorie des catégories. Basé à l'Université d'Édimbourg, ses recherches englobent les opérades, les catégories de dimension supérieure et la généralisation des caractéristiques d'Euler. Sa carrière académique témoigne d'un engagement de longue date envers les fondements structurels des mathématiques et leur application aux métriques biologiques et à la biodiversité.
Parcours et développement académique
Leinster a complété ses études doctorales à l'Université de Cambridge, obtenant un doctorat en 2000. Sa thèse, intitulée Operads in Higher-Dimensional Category Theory, a été dirigée par Martin Hyland. Avant d'obtenir un poste de professeur titulaire à l'Université d'Édimbourg, il a occupé un poste d'enseignant à l'Université de Glasgow. Ses travaux intègrent fréquemment des opérades et des catégories supérieures, servant de base à ses divers manuels.
Domaines de recherche et généralisations mathématiques
Au cours des années 2010, Leinster s'est concentré sur la magnitude, un concept qui agit comme une généralisation de la caractéristique d'Euler au sein de la théorie des catégories. Il a étendu cette recherche au domaine des espaces métriques, en appliquant ces cadres mathématiques à la mesure de la biodiversité. Il a également contribué au domaine grâce à sa collaboration en 2017 avec Mark W. Meckes, parue dans le volume Measure Theory in Non-Smooth Spaces, qui a exploré les liens entre la théorie des catégories et la théorie de la mesure géométrique.
Reconnaissance professionnelle et débat public
La communauté mathématique honore ses travaux à travers les groupes de Leinster, qui sont des groupes finis où l'ordre du groupe est égal à la somme des ordres de ses sous-groupes normaux. En 2019, il a reçu le prix Chauvenet pour son article Rethinking Set Theory, qui réexamine une axiomatisation initialement introduite par F. William Lawvere en 1964. Au-delà de la recherche technique, Leinster agit comme modérateur pour le n-Category Café, un blog qui facilite la discussion académique concernant la science, la philosophie et les mathématiques. En 2014, un article du New Scientist rédigé par Leinster a suscité un débat international en plaidant pour que les mathématiciens refusent de travailler pour les agences de renseignement pour des raisons éthiques. Cette position a été relayée par des médias de langue allemande tels que Der Spiegel et Zeit Online.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →En bref
- Né : 1971 - Nationalité : Royaume-Uni - Établissement de doctorat : Université de Cambridge - Affiliation actuelle : Université d'Édimbourg - Thèse de doctorat : Operads in Higher-Dimensional Category Theory - Année du prix Chauvenet : 2019
Questions fréquentes
### Que sont les groupes de Leinster ?
Ce sont des groupes finis où l'ordre total du groupe est égal à la somme des ordres de ses sous-groupes normaux.
### De quels sujets Tom Leinster discute-t-il sur le n-Category Café ?
Il contribue aux discussions concernant les mathématiques, la science et la philosophie, spécifiquement à travers le prisme de la théorie des catégories.
