Any equivalence relation over a category is a simplicial homotopy (1976)
§  Simplicial Systems. Definition. (1) A simplicial system over  a category C is a triple [Formula Matemática]