wikipedia:en:Triangulated category wikipedia:en:Derived category

wikipedia:en:Tannaka-Krein duality wikipedia:en:Representation theory wikipedia:en:Representation theorem wikipedia:en:Stone's representation theorem for Boolean algebras wikipedia:en:Stone functor wikipedia:en:Boolean prime ideal theorem