Continuous (Efimov) K-theory
Recall that for a category with finite colimits and idempotent-completeness, $\mathcal{C} \in \mathsf{Cat}^{\mathrm{rex,idem}}$, we defined the Calkin category $\mathsf{Calk}(\mathcal{C}) = (\mathsf{Ind}(\mathcal{C})^{\aleph_1}/\mathcal{C})^{\mathrm{idem}}$ and used the relation $\mathrm{k}(\mathsf{Calk}^n(\mathcal{C})) \simeq \tau_{\ge 0}\Omega\mathrm{k}(\mathsf{Calk}^{n+1}(\mathcal{C}))$ to construct non-connective algebraic K-theory $\mathrm{K}$. The aim of this note is to use the inclusion $\mathsf{Cat}^{\mathrm{rex}} \subset \mathsf{Cat}^{\mathrm{ca}} \simeq \mathsf{Pr}^L_{\mathrm{ca}}$ to extend algebraic K-theory to compactly assembled categories. The result is continuous (Efimov) K-theory. The continuous Calkin category First we extend the Calkin construction from small categories to compactly assembled categories, i.e. we want to produce a dashed arrow making commute. ...