Bousfield localization

n-category

algebraic K-theory

cyclotomic spectrum

Parametrized Higher Category Theory and Higher Algebra