internalHom(CpMackeyFunctor,MackeyFunctorHomomorphism) -- returns the induced map on an internal hom.

Function: internalHom
Usage:

internalHom(F,M)

internalHom(M,F)
Inputs:
- M, a C_p Mackey Functor,
- F, a Mackey Functor homomorphism,
Outputs:
- a Mackey Functor homomorphism, the induced map on internal hom Mackey functors

Description

The internal hom of Mackey functors is functorial in each variable. This method returns the induced maps.

i1 : prune internalHom(makeRealRepresentationMackeyFunctor(3), complexLinearizationMap(3))

o1 =         fix : | 1  -2 |
                   | -1 0  |
                   | 0  1  |
       3  <-------------------   2
     ZZ                        ZZ
     ^ |                       ^ | 
     | |                       | | 
     | v                       | v 
       1  <-------------------   1
     ZZ      und : | 1 |       ZZ
     ^ |                       ^ | 
     └-┘                       └-┘ 

o1 : MackeyFunctorHomomorphism

Ways to use this method:

internalHom(CpMackeyFunctor,MackeyFunctorHomomorphism) -- returns the induced map on an internal hom.
internalHom(MackeyFunctorHomomorphism,CpMackeyFunctor)

The source of this document is in CpMackeyFunctors/Documentation/InternalHomDoc.m2:51:0.

internalHom(CpMackeyFunctor,MackeyFunctorHomomorphism) -- returns the induced map on an internal hom.

Description

See also

Ways to use this method: