• Interaction With Classifying Spaces. We have an isomorphism of groupoids
    \[ \mathrm{K}_{0}\webleft (\mathcal{C}\webright ) \cong \Pi _{\leq 1}\webleft (\left\lvert \mathrm{N}_{\bullet }\webleft (\mathcal{C}\webright )\right\rvert \webright ), \]

    natural in $\mathcal{C}\in \text{Obj}\webleft (\mathsf{Cats}\webright )$; i.e. the diagram

    commutes up to natural isomorphism.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: