:: deftheorem defines Morph-Map FUNCTOR0:def 14 :
for C1, C2 being AltGraph
for F being FunctorStr over C1,C2
for o1, o2 being Object of C1 holds Morph-Map (F,o1,o2) = the MorphMap of F . (o1,o2);