Condensations in higher categories

Davide Gaiotto, Theo Johnson-Freyd

We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher…