Advertrian.Doomsdayna@proteinshakeon.me
AdrianDoM
I used to be a PhD student at the University of Edinburgh, under the supervision of Tom Leinster. Now, I am looking for a job (either in industry or academia). I am interested in category theory and its ability to clarify relationships in many areas of mathematics.
The work I have done so far can be organised into three groups: monad theory, especially codensity and pushforward monads; enriched category theory (Cauchy dense functors); and magnitude homology, which is a homology theory for enriched categories, and in particular for metric spaces.