The topic of this book sits at the interface of the theory of higher categories (in the guise of ...