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:algebra
gptkb:topology theoretical computer science homological algebra |
gptkbp:hasConcept |
enriched colimit
enriched functor enriched limit enriched natural transformation |
https://www.w3.org/2000/01/rdf-schema#label |
enriched category theory
|
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
|