Tegenovergestelde categorie

In de categorietheorie, een deelgebied van de wiskunde, wordt de tegenovergestelde categorie of duale categorie C^op 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, C^{op op} = C.

Voorbeelden

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

x ≤_new y dan en slechts dan als y ≤ x.

Er zijn bijvoorbeeld tegenovergestelde paren kind/ouder of afstammeling/voorouder.

De categorie van booleaanse algebra's en booleaanse homomorfismen is equivalent met het tegenovergestelde van de categorie van Stone-ruimten en continue functies.

De categorie van affiene schema's is equivalent met het tegenovergestelde van de categorie van commutatieve ringen.

De Pontryagin-dualiteit beperkt zich tot een equivalentie tussen de categorie van compacte, Hausdorff abelse topologische groepen en de tegenovergestelde van de categorie van (discrete) abelse groepen.

Zie ook

Duaal object
Duale (categorietheorie)
Dualiteit (wiskunde)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.