  A certain amount of category theory is developed in an arbitrary finitely
complete category with a factorization system on it, playing the role of the
comprehensive factorization system on Cat. Those aspects related to the
concepts of finality (in particular terminal objects), discreteness and
components, representability, colimits and universal arrows, seem to be best
expressed in this very general setting. Furthermore, at this level we are in
fact doing not only (E,M)-category theory but, in a sense, also (E,M)-topology.
Other axioms, regarding power objects, duality, exponentials and the arrow
object, are considered.
