Tegenovergestelde categorie

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

In de categorietheorie, een deelgebied van de wiskunde, wordt de tegenovergestelde categorie of duale categorie Cop van een gegeven categorie C gevormd door het morfismen om te keren, dat wil zeggen dat bron en doel van elk morfisme worden verwisseld. Deze omkering twee keer uitvoeren levert weer de oorspronkelijke categorie op, dat wil dus zeggen dat de tegenovergestelde categorie van de tegenovergestelde categorie weer de oorspronkelijke categorie zelf is. In symbolen, Cop op = C.

Voorbeelden[bewerken]

  • Een voorbeeld komt van het omkeren van de richting van de ongelijkheden in een partiële orde. Dus als X een verzameling is en ≤ een partiële-orde relatie, kunnen we een nieuwe partiële orde relatie ≤new definiëren door
xnew y dan en slechts dan als yx.
Er zijn bijvoorbeeld tegenovergestelde paren kind/ouder of afstammeling/voorouder.

Zie ook[bewerken]