Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:appliesTo |
hom-objects
|
| gptkbp:developedBy |
gptkb:Eilenberg
gptkb:Kelly |
| gptkbp:field |
gptkb:mathematics
gptkb:category_theory |
| gptkbp:generalizes |
ordinary category theory
|
| gptkbp:hasApplication |
gptkb:theoretical_computer_science
gptkb:algebra gptkb:topology homological algebra |
| gptkbp:hasConcept |
enriched colimit
enriched functor enriched limit enriched natural transformation |
| gptkbp:introducedIn |
1960s
|
| gptkbp:relatedTo |
higher category theory
2-category |
| gptkbp:studies |
categories enriched over a monoidal category
|
| gptkbp:uses |
monoidal categories
|
| gptkbp:bfsParent |
gptkb:William_Lawvere
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
enriched category theory
|