Given a functor between categories, how to denote a morphism between particular objects of that category I have a very common situation, for which I need both: (1) notation; and, if available, (2) a general relative term.  Let's say that:


*

*there is a functor between categories, $f:C_1\to C_2$, 

*$c_1$ is a particular object of $C_1$

*$c_2$ is a particular object of $C_2$, such that in mapping $C_1$ to $C_2$, $f$ maps $c_1$ to $c_2$


What is the name given to a morphism that maps $c_1$ to $c_2$ in the same way that $f$ does, independently of the existence of $C_1$ or $C_2$?  What concise notation can I use to refer to such a morphism?
I am sure that there is a clear answer for this, but so that the point of my confusion is more clear, these are my intuitions about the issue:


*

*$f$ itself can't be the answer, because it is a specialization of the morphism that I am referring to, because it communicates a lot more information than just $c_1\to c_2$.  For example, it is possible that another functor could map two completely different categories and still meet the criteria of mapping $c_1$ to $c_2$. (e.g. if $g: C_3 \to C_4$ could map $c_1$ to $c_2$ despite being distinct from $C_1$ and $C_2$)

*$f(c_1)$ seems closer to what I am looking for, but I think that $f(c_1)$ should actually refer to the resultant value, or $c_2$ itself.  I am interested in the morphism between $c_1$ and $c_2$, rather than only $c_2$.
Update:  If my question seems nonsensical for reasons raised by both @Jim and @AlexKruckman, let's just consider $c_1$ and $c_2$ to be categories themselves and the morphism I am asking about to also be a functor itself.
 A: $f$ does not provide a morphism from $c_1$ to $c_2$. In the general situation you describe, it doesn't make sense to talk about a morphism from $c_1$ to $c_2$, since they live in different categories.
You also write "a morphism that maps $c_1$ to $c_2$ in the same way that $f$ does." But $f$ just associates the object $c_1$ of $C_1$ to the object $c_2$ of $C_2$. There's no other data there - except what $f$ does to morphisms, but this depends on the categories $C_1$ and $C_2$.
If you just want to talk about the association from $c_1$ to $c_2$, independently of $C_1$ and $C_2$, you could talk about the map of sets $\{c_1\} \rightarrow \{c_2\}$, or the ordered pair $(c_1,c_2)$.
A: Let $\mathcal C$, $\mathcal D$ be categories.

A functor $F : \mathcal C \to \mathcal D$ is a pair of mappings:
A function $F_1 : \text{ob}(\mathcal C) \to \text{ob}(\mathcal D)$ mapping the objects of $\mathcal C$ to the objects of $\mathcal D$.
And another function $F_2$ such that given object $A,B \in \text{ob}(\mathcal C)$ and a morphism $f : A \to B$ in $\mathcal C$ we have the morphism $F_2(f) : F_1(A) \to F_1(B)$ in $\mathcal D$.
Furthermore to be a functor it must satisfy laws regarding composition and identities.

We will usually just write $F$ for either $F_1$ or $F_2$, it being decided which was referred to from context.
Given a functor $F$ you may write $F : \text{ob}(\mathcal C) \to \text{ob}(\mathcal D)$ to explicitly denote the mapping between objects.
A: Maybe an example would help clear this up.  Do you know what the fundamental group of a topological space is?
There is the category of pointed topological spaces $\mathtt{top}_\ast$ whose objects are pairs $(X, x)$ with $X$ a topological space and $x \in X$ a point.  The morphisms $(X, x) \to (Y, y)$ are continuous maps $f\colon X \to Y$ such that $f(x) = y$.
There is the category of groups $\mathtt{grp}$ whose objects are groups and whose morphisms are group homomorphisms.
The fundamental group $\pi_1$ can be thought of as a functor $\pi_1\colon\mathtt{top}_\ast \to \mathtt{grp}$ which sends a pair $(X, x)$ to the set of loops in $X$ that start/end at $x$ (actually it's equivalence classes of loops up to homotopy, this forms a group that you can read about in the above link).
Now, for example, if $S^1$ is the circle and $x \in S^1$ then $\pi_1(S^1, x) = \mathbb Z$ (as an additive group).  What's important here is that this is not a map from the circle to $\mathbb Z$.  Given a point in the circle there's no way to specify what loop that point should go to, there's no map!
It can be confusing because up to this point you've always studied maps between things, but remember a functor that sends $c_1$ to $c_2$ is not a map $c_1 \to c_2$!
