There seems to be many ways to obtain a 1-category out of a 2-category:
- Dumb truncation. $\delta: 2\text{-Cat} \to \text{Cat}$ sends a 2-category $\cal K$ into the 1-category obtained forgetting the 2-cells. Only works with strict 2-categories.
- Core truncation. $c : 2\text{-Cat} \to \text{Cat}$ sends a 2-category $\cal K$ into the 1-category obtained taking isomorphism classes of 1-cells. Apparently this works also with bicategories.
- Geometric truncation. $\pi_{0*} : 2\text{-Cat} \to \text{Cat}$ sends a 2-category $\cal K$ into the 1-category obtained applying hom-wise the $\pi_0$ functor (so takes connected components of ${\cal K}(x,y)$).
Under which conditions is ${\cal K}^\delta, {\cal K}^c, {\pi_{0*}\cal K}$ a co/complete 1-category?
Non-strictness is not a big deal, I'm fine with strict 2-categories.