The category of pointed topological spaces or base spaces consists of topological spaces with a basepoint preserving continuous maps as its morphisms. #m/def/topology
This is a full subcategory of the category of topological spaces with base sets
consisting of topological spaces with a subset of base points as objects
and base set preserving continuous maps as its morphisms, #m/def/topology
i.e. if then .