In algebra, the Yoneda product is the pairing between Ext groups of modules:
Specifically, for an element , thought of as an extension
we form the Yoneda (cup) product
Note that the middle map factors through the given maps to .
We extend this definition to include using the usual functoriality of the groups.
- May, Notes on Tor and Ext