Gr\"obner-Shirshov bases for categories
  In this paper we establish Composition-Diamond lemma for small categories. We give Gr\"obner-Shirshov bases for simplicial category and cyclic category. 
L. A. Bokut, Yuqun Chen and Yu Li
math.RA