Let be a small -category where is a fixed Grothendieck universe, i.e., the objects of form a set which is a subset of and, for every pair of objects X, Y of the set is an element of . If S is a set of morphisms of , then, in general, the category of fractions [S- 1] would belong to a higher universe ([4], p. 256).