This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by

A short introduction ideal for students learning category theory for the first time.

The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninit

The original purpose of this paper was to provide suitable enriched completions of small enriched categories.