Six-functor formalisms are ubiquitous in mathematics, and I will start this talk by giving a quick introduction to them. A three-functor formalism is, as the name suggests, (the better) half of a six-functor formalism. I will discuss what it means for such a three-functor formalism to be unitary, and why commutative Von Neumann algebras (and hence, by the Gelfand-Naimark theorem, measure spaces) admit a unitary three-functor formalism that can be viewed as mixing sheaf theory with functional analysis. Based on joint work with André Henriques.

Microbial communities contain many evolving and interacting bacteria, which makes them complex systems that are difficult to understand and predict. We use theory – including game theory, agent-based modelling, ecological network theory and metabolic modelling - and combine this with experimental work to understand what it takes for bacteria to succeed in diverse communities. One way is to actively kill and inhibit competitors and we study the strategies that bacteria use in toxin-mediated warfare. We are now also using our approaches to understand the human gut microbiome and its key properties including ecological stability and the ability to resist invasion by pathogens (colonization resistance). Our ultimate goal is to both stabilise microbiome communities and remove problem species without the use of antibiotics.