MackeyFunctorHomomorphism || MackeyFunctorHomomorphism -- Vertical concatenation of Mackey functor homomorphisms

Operator: ||
Usage:

f || g
Inputs:
- f, a Mackey Functor homomorphism,
- g, a Mackey Functor homomorphism,
Outputs:
- a Mackey Functor homomorphism, the vertical concatenation of the homomorphisms $f$ and $g$.

Description

Given two Mackey functor homomorphisms $f : A \to B$ and $g : A \to C$ with the same domain, $f || g$ is the homomorphism $(f,g) : A \to B \oplus C$.

i1 : A = makeBurnsideMackeyFunctor 2;

i2 : id_A || id_A

o2 =         fix : | 1 0 |
                   | 0 1 |
                   | 1 0 |
                   | 0 1 |
       4  <-----------------   2
     ZZ                      ZZ
     ^ |                     ^ | 
     | |                     | | 
     | v                     | v 
       2  <-----------------   1
     ZZ      und : | 1 |     ZZ
     ^ |           | 1 |     ^ | 
     └-┘                     └-┘ 

o2 : MackeyFunctorHomomorphism

Ways to use this method:

MackeyFunctorHomomorphism || MackeyFunctorHomomorphism -- Vertical concatenation of Mackey functor homomorphisms

The source of this document is in CpMackeyFunctors/Documentation/HomomorphismsDoc.m2:278:0.

MackeyFunctorHomomorphism || MackeyFunctorHomomorphism -- Vertical concatenation of Mackey functor homomorphisms

Description

See also

Ways to use this method: