Hey,
Is it possible to define a map between two categories which preserves all products and binary equalizers and yet is not a functor, ie it does not satisfy one or more axioms of a functor? Further, if you replace the functor with maps between categories that preserve all products and binary equalizers, what do the axioms of an adjoint become? That is, can we have continuous maps between categories and adjoints but no functors? I guess I am asking this: if we consider "a category theory" where the notion(or the job) of the functor is replaced by "maps which preserve products and binary equalizers", how much category theory do we loose? Do we simply loose stuff that was just excess baggage that came from the fact that we are presenting the theory of categories in SET?