Categorified algebra and equivariant homotopy theory

TL;DR

This dissertation develops algebraic techniques for categories viewed as algebraic objects, advancing noncommutative algebraic geometry, and explores dualities in equivariant homotopy theory with potential links to noncommutative motives.

Contribution

It proves algebraic results in symmetric monoidal and semiring $mbda$-categories, establishing foundational links between Lawvere theories, algebraic Yoneda lemma, and equivariant homotopy theory.

Findings

Modules over Fin are cocartesian monoidal $mbda$-categories

Modules over Burn are additive $mbda$-categories

Evidence for a duality between naive and genuine equivariant homotopy theory

Abstract

This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to category theory is central to noncommutative algebraic geometry, as realized by recent advances in the study of noncommutative motives. We have success proving algebraic results in the general setting of symmetric monoidal and semiring $\infty$-categories, which categorify abelian groups and rings, respectively. For example, we prove that modules over the semiring category Fin of finite sets are cocartesian monoidal $\infty$-categories, and modules over Burn (the Burnside $\infty$-category) are additive $\infty$-categories. As a consequence, we can regard Lawvere theories as cyclic $\text{Fin}^\text{op}$-modules, leading to algebraic foundations for the higher categorical study of Lawvere theories. We prove that Lawvere theories function as a home for an algebraic Yoneda lemma. Finally, we provide evidence for a formal duality between naive and genuine equivariant homotopy theory, in the form of a group-theoretic Eilenberg-Watts Theorem. This sets up a parallel between equivariant homotopy theory and motivic homotopy theory, where Burnside constructions are analogous to Morita theory. We conjecture that this relationship could be made precise within the context of noncommutative motives over the field with one element.