categoryOfSheavesOn
P178445
predicate
Indicates that one entity is the category whose objects are sheaves defined on the other entity (typically a space or site).
Sample triples (1)
| Subject | Object |
|---|---|
| Beilinson–Drinfeld Grassmannian | tensor category equivalent to representations of Langlands dual group (via geometric Satake) ⓘ |