• (Co)ends: a taster

  (August 2023) (Co)ends are an effective organisational tool in category theory, unifying many different concepts and providing a compact substitution to element-wise proofs. These notes are based on "Coend calculus" by Fosco Loregian.

• Persistent homology

  (December 2022) Notes on persistent homology, as part of a GlaMS (Glasgow-Maxwell school) group project. Joint with Yan Yau Cheng and Adrián Doña Mateo.

• Axiomatic homology theory

  (September 2021) Undergraduate notes on axiomatic homology theory. Homology is typically introduced as singular homology, with theorems proven explicitly using chain calculations. We take a different approach, defining a homology theory axiomatically as by Eilenberg and Steenrod, and then proving classical theorems directly from the axioms. This project was supervised by Prof. Clark Barwick and funded by the University of Edinburgh School of Mathematics Vacation Scholarship and College Vacation Scholarship funds.

• (Co)ends in infinity-categories. Hodge Club (Edinburgh) (June 2024).

  (Co)ends are certain (co)limits associated to bifunctors of the form F: C^op x C -> D. As an example, let R be a ring viewed as an one-object Ab-enriched category so an R-bimodule M is just a functor M:R^op x R -> Ab. Then the end of this functor is the centre of M and the coend is the space of coinvariants. (Co)ends are both abundant and admit a sort of calculus, making them useful for a large class of categorical arguments. In this talk I will give an overview of (co)ends, and explain how the definition can be extended to the world of infinity-categories.
• ∞-operads and operator categories. Edinburgh Category Theory Seminar (March 2024).

  Operads are combinatorial gadgets that control algebraic theories. They were first introduced by Boardman-Vogt and May to classify homotopy types of iterated loop spaces and have since become an invaluable tool for doing categorical algebra. Their ∞-categorical incarnation, ∞-operads, subsumes the classical notion and has been a major player in the recent renaissance of homotopy-coherent algebra. The theory of ∞-operads is controlled by the category of pointed finite sets. Naturally, one may ask which categories give rise to an "operad-like" theory. As an answer to this question, I will describe Barwick's notion of an operator category φ and its associaated theory of φ-operads. This is a natural generalization of ∞-operads, subsuming many known variants of the notion, for example non-symmetric operads.
• Topological K-Theory. Hodge Club (Edinburgh) (February 2023).

  Topological K-Theory is a generalized cohomology theory that captures information about vector bundles over a space. To build it, we first consider the Groethendieck group of C(X)-algebras, then extend this to a cohomology theory using suspensions. Alternatively, like any (co)homology theory, we can build a spectrum that represents it. The latter view illuminates the following important property of K-Theory: it controls the second cohomology theory in an infinite approximation of the stable homotopy groups of spheres.
• The ultrafilter monad. GLaMS Example showcase (November 2022).

Tutoring - University of Edinburgh

• Accelerated Proofs and Problem Solving
• Axiomatic Set Theory
• MathsBase

• Honours Algebra - Skills
• Proofs and Problem Solving

• Category Theory
• Honours Analysis - Skills
• MathsBase

• Algebraic Topology
• Fundamentals of Pure Mathematics

Other

• In Autumn 2023 I mentored a project on algebraic topology for Twoples, an online directed reading program for maths undergraduates.

• (Spring 2024) (∞,n)-categories with Willow Bevington.
• (Summer 2023) Coend calculus (Cofriends) with Willow Bevington and Adrián Doña Mateo.
• (Spring 2023) Algebraic geometry (Eisenboaties) with Willow Bevington.
• (Spring 2023) ∞-categories with Willow Bevington and Adrián Doña Mateo.
• (Spring 2023) Chromatic homotopy theory with Clark Barwick and Willow Bevington.
• (Fall 2022) Commutative algebra (Eisenbuddies)with Willow Bevington.

• Designing the STACK website stack-assessment.org.
• Collating a collection of case studies.
• Developing a video tutorial series.
• Designing STACK quizzes for The University of Edinburgh, Heriot-Watt University and The University of Glasgow.