@TimCampion this is only for intuition and probably very circular, but if you write your category as a colimit of points and arrows, then you only need to know that projection from a limit to the limit over the vertices is conservative in Cat and to prove this for Delta^0 and Delta^1.