• The functor $F$ induces a bijection
    \[ \pi _{0}\webleft (F\webright )\colon \pi _{0}\webleft (\mathcal{C}\webright )\to \pi _{0}\webleft (\mathcal{D}\webright ) \]

    of sets.


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


You can also use the contact form below: