The category of pointed topological spaces or base spaces consists of topological spaces with a basepoint preserving continuous maps as its morphisms. 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, topology
i.e. if then .