target(F)
A homomorphism between Mackey functors has a source and a target. This method returns the target.
i1 : target(complexLinearizationMap(5)) o1 = Res : | 1 1 1 1 1 | 5 -----------------------> 1 -┐ Conj : | 1 | ZZ <----------------------- ZZ <┘ Tr : | 1 | | 1 | | 1 | | 1 | | 1 | o1 : CpMackeyFunctor
The source of this document is in CpMackeyFunctors/Documentation/HomomorphismsDoc.m2:184:0.