Elements of -Category Theory

The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. This book develops a new, more accessible model-independent approach to the foundations of ∞-category theory by studying the universe, or ∞-cosmos, in which ∞-categories live.