Verrijkte categorie
Uit Wikipedia, de vrije encyclopedie
In de categorietheorie, een abstract deelgebied van de wiskunde, en haar toepassingen in de wiskunde, is een verrijkte categorie een categorie waarvan de hom-verzamelingen worden vervangen door objecten uit een andere categorie, dit alles op een zich goedgedragende wijze.
Referenties[bewerken]
- (en) Kelly, G.M., Basic Concepts of Enriched Category Theory (Basisconcepten van de verrijkte categorietheorie), London Mathematical Society Lecture Note Series No. 64 (C.U.P., 1982)