I am interested in many different kinds of higher categorical structures and how they relate to each other, and use the language of polynomial functors to describe common constructions across the various flavors of higher categories. When I say "higher categories" I mean any structure involving collections of cells in various shapes and algebraic operations for composing certain arrangements of those cells into a single cell. For instance, n-categories are algebraic structures on n-globular sets, and n-tuple categories are algebraic structures on diagrams of cubical cells which keep track of the different directions. So far, I have generalized enrichment of categories to any such higher category.
Polynomial endofunctors on the category of sets provide a rich language for describing phenomena in both category theory and real-world applications. Polynomial coalgebras model "open" dynamical systems, where the state of the system updates based on external input. Enrichment in a double category of polynomial coalgebras can be used to describe nested hierarchies of interacting dynamical systems, including examples from machine learning, strategic game theory, and prediction markets. Polynomial functors on the category of categories have even further potential to elegantly model structures in topology, continuous dynamics, and the theory of double categories.
Algebraic K-theory describes how various types of objects are built up out of smaller pieces, where "smaller" is tracked by certain morphisms in a category. My work builds on an axiomatic framework for K-theory which uses double categories to model objects with two different ways of mapping a smaller object to a bigger one. This approach generalizes classical theorems of K-theory to non-abelian settings, such as varieties and finite sets, where chain complex models of K-theory have yet to be fully explored.
Papers
- Duoidal Structures for Compositional Dependence. Joint with David Spivak. [PDF] [arXiv]
- Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets. Joint with David Spivak. Applied Category Theory 2022. [PDF] [arXiv]
- Enrichment of Algebraic Higher Categories. [PDF] [arXiv]
- Familial Monads as Higher Category Theories. [PDF] [arXiv]
- A Gillet-Waldhausen Theorem for chain complexes of sets. Joint with Maru Sarazola. [PDF] [arXiv]
- Partial evaluations and the compositional structure of the bar construction. Joint with Carmen Constantin, Tobias Fritz, and Paolo Perrone. [PDF] [arXiv]
- Weak cartesian properties of simplicial sets. Joint with Carmen Constantin, Tobias Fritz, and Paolo Perrone. [PDF] [arXiv]
Thesis
- Shape Independent Category Theory. [PDF]
Blog Posts
- A Dynamic Monoidal Category for Strategic Games. [Post]
Talks
- Dynamic Operads for Evolving Organizations. Applied Category Theory 2022, July 2022. [Animated Slides] [Less Animated Slides]
- Familial Monads for Higher and Lower Category Theory. Workshop on Polynomial Functors, March 2022. [Animated Slides] [Less Animated Slides]
- Compositional Structure of Partial Evaluations. Categories and Companions Symposium, June 2021. [Animated Slides] [Less Animated Slides]
- Compositional Structure of Partial Evaluations. MIT Category Seminar, September 2020. [Animated Slides] [Less Animated Slides]
- Cubical omega-Categories and Cubical Theta. Cubical Sets Seminar, MSRI, May 2020. [Slides]
- Constructing Cubes from Semicubes. Cubical Sets Seminar, MSRI, May 2020. [Slides]
- Shape Independent Category Theory and Enrichment. Category Theory OctoberFest, Johns Hopkins University, October 2019. [Slides]
Undergraduate Research
- Densities of Hyperbolic Cusp Invariants. Joint with Colin Adams, Rose Kaplan-Kelly, Michael Moore, Shruthi Sridhar, and Joshua Wakefield. Proceedings of the American Mathematical Society. Volume 146, Number 9, September 2018, Pages 4073–4089. [PDF] [arXiv]
- specgen: A Tool for Modeling Statecharts in CSP. Joint with Chris Casinghino. Nasa Formal Methods 282, 2017.
- Nonstandard Neutrino Interactions In Supernovae. Joint with James Kneller, Gail McLaughlin, Charles Stapleford, and Daavid Väänänen Physical Review D 94, 093007, 2016. [PDF] [arXiv]