Tim Hosgood

Director of UK Operations

Topos UK

Although my main mathematical research focuses on simplicial methods in geometry, I have a keen interest in understanding how we can use mathematics to make mathematics (and science, and knowledge in general) more accessible to all. Only by ensuring that we have, and give power to, a wide range of voices within our, and others’, communities can we truly hope to build technology that supports everybody, not just a select few.

Blog posts

Open curricula and assessment tools workshop in Kisumu

In August, Brendan and I attended the American Institute of Mathematics workshop “Open source mathematics curriculum and assessment tools”, hosted by Maseno University in Kisumu, Kenya. The workshop was a fantastic opportunity to meet new specialists in a variety of domains and hear about what…

Postdoc job openings in Topos Oxford, UK

Topos is opening its doors in Oxford, UK, and is inviting applications for two postdoctoral researchers to come work with us on one of our first projects.

Our Summer Research Associates in 2024

Another year, another cohort of wonderful Summer Research Associates (RAs) at Topos working on exciting projects. As is now the custom, we’ve asked each of them to introduce themselves and write a little bit about what they’ll be working on over the summer. You can expect to see some blog posts…

Understanding UMAP

UMAP is a dimension-reduction method that has become very popular, especially in many areas of biology. Recently, a certain figure produced by UMAP has been circulated online to support spurious conclusions about “genetic racial groups”, or, to put it more bluntly, to support scientific racism. In…

Diagrammatic equations and multiphysics (Part 2)

Previously, we surveyed some of the fundamental concepts from our paper on the use of diagrams to present equations from mathematical physics. In this blog post we take a look at how we can enrich our framework, introducing cartesian and symmetric monoidal products in order to be able to express…

Tim Hosgood, Evan Patterson

Diagrammatic equations and multiphysics (Part 1)

Using diagrams to encode equations between physical quantities is something that has become more and more common over the past few decades. To a category theorist, however, the use of such diagrams is not as formal as one would perhaps like. In this new paper, we fix this problem: systematising…

Tim Hosgood, Evan Patterson