Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
We have two categories: $C$ and $C'$. You didn't mention about taking a nerve of the category. This is also a functor, which induces a morphism, I'm not wrong? I would like to write a formula for this homotopy. We took a nerve of interval $[0,1]$, which is a morphism between two objects, I'm not wrong?