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

Computers are often thought of as artificial brains. That said, they’re nowhere close to being as complex or energy-efficient ...