Stenfunktionär

I matematik är stenfunktorn en funktor S : Top ^op → Bool , där Top är kategorin topologiska rum och Bool är kategorin booleska algebror och booleska homomorfismer . Den tilldelar till varje topologiskt utrymme X den booleska algebra S ( X ) av dess clopen- delmängder, och till varje morfism f ^op : X → Y i Top ^op (dvs. en kontinuerlig karta f : Y → X ) homomorfismen S ( f ) : S ( X ) → S ( Y ) givet av S ( f ) ( Z ) = f ⁻¹ [ Z ].

Se även

Abstrakta och konkreta kategorier. The Joy of Cats Arkiverad 2015-04-21 på Wayback Machine . Jiri Adámek, Horst Herrlich, George E. Strecker.
Peter T. Johnstone, Stone Spaces . (1982) Cambridge University Press ISBN 0-521-23893-5