Category Theory at Work

A-morphism A-spaces A₁ adjoint functor axioms Banach spaces Boolean algebra C-morphism C-spaces C₁ cartesian closed topological category theory cogenerator colimit commutative compact connected compact groups complete lattice concrete categories concrete full embedding continuous maps convergence convexity theory coproduct corresponding defined definition denote diagram dual adjunction duality E-projective elements epimorphism epireflective equivalent exists finally dense finite full subcategory function G₂ given Hausdorff Hausdorff spaces Hence Herrlich hom(C homomorphism implies induced initial left adjoint Lemma locales M)-algebraic Math modules monadic monosource monotopological morphism morphism f natural transformation naturally isomorphic objects open sets pair preserves Proof Proposition Prox PrTop PsTop quasiordered quasiordered sets resp respect restriction right adjoint satisfying semigroups structure subgroup sublocales subset subspace surjective Theorem topological category topological construct topological group topological hull topological spaces topologically split ultrafilter unique