Grothendieck's six operations
GPTKB entity
Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematics
|
| gptkbp:appliesTo |
derived categories
|
| gptkbp:category |
abelian categories
triangulated categories |
| gptkbp:field |
gptkb:algebraic_geometry
|
| gptkbp:firstAppearance |
gptkb:SGA_4
|
| https://www.w3.org/2000/01/rdf-schema#label |
Grothendieck's six operations
|
| gptkbp:introduced |
gptkb:Alexander_Grothendieck
|
| gptkbp:operator |
Hom (internal Hom)
f^! (exceptional pullback) f^* (pullback) f_! (proper pushforward) f_* (pushforward) ⊗ (tensor product) |
| gptkbp:relatedTo |
gptkb:Poincaré_duality
duality theory Verdier duality |
| gptkbp:usedIn |
gptkb:étale_cohomology
motivic cohomology sheaf theory |
| gptkbp:bfsParent |
gptkb:Alexander_Grothendieck
|
| gptkbp:bfsLayer |
5
|