How to prove the fully-faithfulness of nerve functor?

279 Views Asked by At

I know it might be a bit elementary but I‘ve just read about the defintion of nerve functor $N: Cat \rightarrow sSet$ in nLab :

https://ncatlab.org/nlab/show/nerve

And Proposition 3.12 states that nerve functor is fully and faithful. But I can’ t get it on my own. Where can I find proof for it?