Text this: Any equivalence relation over a category is a simplicial homotopy