Andrew Brooke-Taylor

Set theory and category theory

Large cardinal axioms have been used in category theory for decades, particularly in the study of "accessible categories", which are a framework for a kind of category-theoretic model theory. I will give an introduction to this area, from basic definitions up to recent results.