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?



continuous maps between categories that are not functors
It does not make much sense to talk about non-functors $F$ which preserve products because there is no canonical morphism $F(x \times y) \to F(x) \times F(y)$. Even if we say that we choose one, we cannot formulate compatibility properties by varying $x,y$. So this will be just some random isomorphism, perhaps something built up by weird applications of Zorn's Lemma and many uncanonical choices. This won't be an interesting notion. This won't be of any use in category theory. In fact, it does not fit into the general idea of category theory, where each new data is required to be connected or even compatible with the given data.


