BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Tom Leinster

Tom Leinster contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CTmath.ATmath.COmath.GNmath.AGmath.DSmath.LOmath.MGmath.QAmath.RAInformation Theorymath.ACmath.CAmath.DGmath.GRmath.GTmath.ITPopulations and EvolutionQuantitative Methods

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
19topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2020arXiv

The probability that an operator is nilpotent

Choose a random linear operator on a vector space of finite cardinality N: then the probability that it is nilpotent is 1/N. This is a linear analogue of the fact that for a random self-map of a set of cardinality N, the probability that some iterate is constant is 1/N. The first result is due to Fine, Herstein and Hall, and the second is essentially Cayley's tree formula. We give a new proof of the result on nilpotents, analogous to Joyal's beautiful proof of Cayley's formula. It uses only general linear algebra and avoids calculation entirely.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Codensity and the ultrafilter monad

Even a functor without an adjoint induces a monad, namely, its codensity monad; this is subject only to the existence of certain limits. We clarify the sense in which codensity monads act as substitutes for monads induced by adjunctions. We also expand on an undeservedly ignored theorem of Kennison and Gildenhuys: that the codensity monad of the inclusion of (finite sets) into (sets) is the ultrafilter monad. This result is analogous to the correspondence between measures and integrals. So, for example, we can speak of integration against an ultrafilter. Using this language, we show that the codensity monad of the inclusion of (finite-dimensional vector spaces) into (vector spaces) is double dualization. From this it follows that compact Hausdorff spaces have a linear analogue: linearly compact vector spaces. Finally, we show that ultraproducts are categorically inevitable: the codensity monad of the inclusion of (finite families of sets) into (families of sets) is the ultraproduct monad.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Integral geometry for the 1-norm

Classical integral geometry takes place in Euclidean space, but one can attempt to imitate it in any other metric space. In particular, one can attempt this in R^n equipped with the metric derived from the p-norm. This has, in effect, been investigated intensively for 1<p<\infty, but not for p=1. We show that integral geometry for the 1-norm bears a striking resemblance to integral geometry for the 2-norm, but is radically different from that for all other values of p. We prove a Hadwiger-type theorem for R^n with the 1-norm, and analogues of the classical formulas of Steiner, Crofton and Kubota. We also prove principal and higher kinematic formulas. Each of these results is closely analogous to its Euclidean counterpart, yet the proofs are quite different.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Notions of Möbius inversion

Möbius inversion, originally a tool in number theory, was generalized to posets for use in group theory and combinatorics. It was later generalized to categories in two different ways, both of which are useful. We provide a unifying abstract framework. This allows us to compare and contrast the two theories of Möbius inversion for categories, and advance each of them. Among several side benefits is an improved understanding of the following fact: the Euler characteristic of the classifying space of a (suitably finite) category depends only on its underlying graph.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the asymptotic magnitude of subsets of Euclidean space

Magnitude is a canonical invariant of finite metric spaces which has its origins in category theory; it is analogous to cardinality of finite sets. Here, by approximating certain compact subsets of Euclidean space with finite subsets, the magnitudes of line segments, circles and Cantor sets are defined and calculated. It is observed that asymptotically these satisfy the inclusion-exclusion principle, relating them to intrinsic volumes of polyconvex sets.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A maximum entropy theorem with applications to the measurement of biodiversity

This is a preliminary article stating and proving a new maximum entropy theorem. The entropies that we consider can be used as measures of biodiversity. In that context, the question is: for a given collection of species, which frequency distribution(s) maximize the diversity? The theorem provides the answer. The chief surprise is that although we are dealing with not just a single entropy, but a one-parameter family of entropies, there is a single distribution maximizing all of them simultaneously.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A general theory of self-similarity

A little-known and highly economical characterization of the real interval [0, 1], essentially due to Freyd, states that the interval is homeomorphic to two copies of itself glued end to end, and, in a precise sense, is universal as such. Other familiar spaces have similar universal properties; for example, the topological simplices Delta^n may be defined as the universal family of spaces admitting barycentric subdivision. We develop a general theory of such universal characterizations. This can also be regarded as a categorification of the theory of simultaneous linear equations. We study systems of equations in which the variables represent spaces and each space is equated to a gluing-together of the others. One seeks the universal family of spaces satisfying the equations. We answer all the basic questions about such systems, giving an explicit condition equivalent to the existence of a universal solution, and an explicit construction of it whenever it does exist.

0 citations0 reviewsNo code linkedOpen access