enriched category theory

GPTKB entity

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