Algebraic K-Theory of Higher Categories
摘要
The development of higher category theory over the last few decades has further promoted a shift in perspective on mathematical concepts which prioritizes universal properties over explicit constructions.