:: deftheorem Def27 defines (*) CAT_6:def 27 :
for C, D, E being with_identities CategoryStr
for F being Functor of C,D
for G being Functor of D,E st ( F is covariant or F is contravariant ) & ( G is covariant or G is contravariant ) holds
G (*) F = F * G;