result in category theory
C49603
concept
A result in category theory is a proven statement—such as a theorem, lemma, or proposition—about objects, morphisms, and functors that reveals structural relationships or properties within or between categories.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| result in homotopy theory | 2 |
| result in homological algebra | 1 |
Instances (4)
| Instance | Via concept surface |
|---|---|
| Yoneda lemma | — |
| Künneth formula | result in homological algebra |
| Brown representability theorem | result in homotopy theory |
| Bott periodicity | result in homotopy theory |