  The main result of this paper may be stated as a construction of "almost
representations" for the canonical presheaves of object extensions of length n
on the C-systems defined by locally cartesian closed universe categories with
binary product structures and the study of the behavior of these "almost
representations" with respect to the universe category functors.
  In addition, we study a number of constructions on presheaves on C-systems
and on universe categories that are used in the proofs of our main results, but
are expected to have other applications as well.
