SheafMap ++ SheafMap -- takes the direct sum of two sheaf maps

• Operator: ++

• Usage:

  f ++ g

• Inputs:
  • f, a morphism of sheaves, a sheaf map
  • g, a morphism of sheaves, another sheaf map
• Outputs:
  • a morphism of sheaves, the direct sum of sheaf maps f and g

i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing