I am looking for either (1) confirmation that the following is true, (2) the mistake making it false pointed out to me:
Let $F:\mathcal{C} \to \mathcal{D}$ be a functor from a small category $\mathcal{C}$ into a small category $\mathcal{D}$.
Then the object part of the functor, $F_{obj}$, associates with each object $c \in \mathcal{Ob(C)}$ an object $Fc \in \mathcal{Ob(D)}$, making it a function $F_{obj}:\mathcal{Ob(C)}\to \mathcal{Ob(D)}$ (with both the domain and codomain being sets since $\mathcal{C}$ and $\mathcal{D}$ are small categories).
Likewise, the morphism part of the functor, $F_{mor}$, associates with each morphism $f \in \operatorname{Hom}_{\mathcal{C}}(c, c')$ a morphism $Ff \in \operatorname{Hom}_{\mathcal{D}}(Fc, Fc')$, making $F_{mor}$ a family of functions $\{F_i: \operatorname{Hom}_{\mathcal{C}}(c,c')\to\operatorname{Hom}_{\mathcal{D}}(Fc,Fc')\ |\ (c,c')=i \in \mathcal{C}\times\mathcal{C} \}$.
Hence, ignoring the foundational problem of defining "functions" between proper classes as opposed to sets (i.e. the case when either $\mathcal{C}$ or $\mathcal{D}$ is not small), functors can be thought of as actual (families of) functions, not just arbitrary morphisms between categories.
morphism between categories - consider a category $\mathscr{C}$, for which the objects $\mathcal{C} \in\mathcal{Ob}(\mathscr{C})$ are themselves categories. Then the morphisms of the category $\mathscr{C}$ are "morphisms between categories".
Question: Given a category $\mathscr{C}$ of the type described above, are its morphisms always functors?
I believe not, since the structure described above for functors seems to be more than is strictly necessary to satisfy the category axioms (associativity, identity, closure under composition).
For the sake of having an answer to this question for future readers, I'm copying over my comments:
Functors are functions which satisfy the properties you listed. Although we usually think of categories as having objects and morphisms, we can also just think of them as having a set of morphisms with a partial binary operation defined on them satisfying some properties. Then functors are functions respecting that (partial) binary operation.
If we call a "morphism of categories" a morphism in any category in which the objects are nominally categories, then a "morphism of categories" can be anything -- and probably won't actually have anything at all to do with categories. For instance, we could define a category in which the categories are small categories and hom-sets always contain a single morphism. This definition does not actually assist us in studying categories, which is the point of defining a category of some type of object: to use the morphisms in that category to learn more about those objects. But for that to happen, the morphisms have to respect some of the structure of the objects in question.
When we're dealing with categories, functors are pretty much the way to go, but there are a few other possibilities we might use. For instance, there is a way of defining composition for correspondences of categories. A correspondence $C\to D$ is a functor $C^\mathrm{op}\times D\to \mathbf{Set}$.