Correspondence ^* -- pullback along a correspondence

Synopsis

• Operator: ^*

• Usage:

  I^*

• Inputs:
  • I, from $X$ to $Y$
• Outputs:
  • the pullback operator associated to $I$, which can be applied to abstract sheaves or cycles on $Y$

Description