establishesEquivalenceBetween
4
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Riemann–Hilbert_correspondence_for_D-modules | category of perverse sheaves |
| gptkb:Dold–Puppe_correspondence | chain complexes |
| gptkb:Dold–Puppe_correspondence | simplicial abelian groups |
| gptkb:Riemann–Hilbert_correspondence_for_D-modules | category of regular holonomic D-modules |