where "s" is a fixed object. this idea is made formal in the idea of the slice category of objects of "c" 'above' s. to move from one slice to another requires a base change; from a technical point of view base change becomes a major issue for the whole approach (see for example beck–chevalley conditions).