In our view, higher-category theory, which possesses the highest degree of abstraction, is a second-level language relative ...