categorifies
P160141
predicate
Indicates that one entity provides a higher-level, category-theoretic abstraction or refinement of the structure or behavior of another entity.
Observed surface forms (1)
- categoryTheoreticContext ×2
Sample triples (4)
| Subject | Object |
|---|---|
| Khovanov homology | Jones polynomial NERFINISHED ⓘ |
| HOMFLY-PT homology | HOMFLY-PT polynomial NERFINISHED ⓘ |
| Beilinson spectral sequence | triangulated categories via predicate surface "categoryTheoreticContext" ⓘ |
| Beilinson spectral sequence | derived functors via predicate surface "categoryTheoreticContext" ⓘ |