Four New Talks
Posted by Tom Leinster
In October I did little but talk. Five talks in five locations in 23 days, with only one duplicate among them, left me heartily wishing not to hear my own voice for a while.
Having gone to the effort of making slides, I might as well share them publicly. All the talks are on topics that have come up on the Café before. Here they are:
Unexpected connections This was a quickie for students beginning math PhDs at Scottish universities. I was trying to inspire them with the joys of a broad education. (Beforehand, I asked for your help on what to say.)
The mathematics of biodiversity This was a public lecture — my first ever. It was held under the banner of Mathematics of Planet Earth 2013.
The eventual image This grew directly out of a couple of posts here at the Café. I still have the feeling that I haven’t got to the heart of the matter.
The many faces of magnitude A subject I’ve written about extensively here, all parcelled up for a couple of colloquia.
Re: Four New Talks
With regards to your Eventual Image talk, I’ve been trying to use categories like the given below and wonder how your analysis applies to it and whether other categories with rooted objects behave in a similar fashion (and if is in the literature).
For a pointed set and an endofuction on , say that is rooted if every element of can be reached from its point by applications of . A rooted endofunction can be represented as a lasso with a leader of length and loop of size - a pair
The category with objects being all rooted endofunctions on all pointed sets (pairs or ) is a lattice where:
has atoms. is one, as are all objects where is prime. is not atomistic (all objects cannot be given as a join of atoms) because it also has the semi-atoms:
for
for prime multiples.
I guess that is semi-atomistic.