1
$\begingroup$

Are there any special term for the following?

A function from the set of morphisms of a category to the set of morphisms of an other category preserving source and destination of every morphism.

I imply that the sets of morphisms of the two categories are the same.

Note that my functions are not functors, not even prefunctors.

  • 0
    Willie Wong♦: It is just not a functor.2011-07-13

1 Answers 1

4

Morphism of graphs. ${}{}{}{}{}{}{}{}$

  • 0
    Porton-Suárez functors. No it does.2015-08-31