Vergeetachtige functor

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de categorietheorie, een abstract deelgebied van de wiskunde, is een vergeetachtige functor een type van functor. De naamgeving is suggestief voor het gedrag van een dergelijke functor: gegeven enig object met structuur als input, worden enkele of alle delen van de structuur van het object of de eigenschappen van het object 'vergeten' in de output. Voor een algebraïsche structuur van een gegeven teken, kan dit worden uitgedrukt door het teken in de output een bepaalde manier te restricteren: het nieuwe teken is bijvoorbeeld een bewerkte vorm van het oude teken. Als het teken wordt overgelaten als een lege lijst, neemt de functor gewoon de onderliggende verzameling van een structuur; dit is in de praktijk het meest voorkomende geval.

Referenties[bewerken]

  • Mac Lane, Saunders. Categories for the Working Mathematician (Categorieën voor de werkende wiskundige), Graduate Texts in Mathematics 5, Springer-Verlag, Berlin, Heidelberg, New York, 1997. ISBN 0-387-98403-8