MackeyFunctorHomomorphism | MackeyFunctorHomomorphism -- Horizontal 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 horizontal concatenation of the homomorphisms $f$ and $g$.

Description

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

i1 : A = makeBurnsideMackeyFunctor 2;

i2 : id_A | id_A

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

o2 : MackeyFunctorHomomorphism

Ways to use this method:

MackeyFunctorHomomorphism | MackeyFunctorHomomorphism -- Horizontal concatenation of Mackey functor homomorphisms

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

MackeyFunctorHomomorphism | MackeyFunctorHomomorphism -- Horizontal concatenation of Mackey functor homomorphisms

Description

See also

Ways to use this method: