The$\newcommand\Top{\mathit{Top}}\newcommand\Mfd{\mathit{Mfd}}$The category can be drastically different. For example, suppose your morphisms are precisely local homeomorphisms. Call this category $Top^{et}$$\Top^\text{ét}$. This category is locally a topos, which is something certainly not the case for the category $Top$$\Top$ of all continuous maps. Moreover, $Top^{et}$$\Top^\text{ét}$ lacks a terminal object (which is something which will happen for many variants). In fact, $Top^{et}$$\Top^\text{ét}$ behaves much more like a category of sheaves on a single space, thenthan a category of spaces; to see this, if we let $\mathfrak{Top}^{et}$$\mathfrak{Top}^\text{ét}$ denote the bicategory of (etaleétale) topological stacks and local homeomorphisms, this is equivalent to the bicategory of stacks on some (filtered colimit of) etaleétale topological stack(s). The bicategory $\mathfrak{Top}^{et}$$\mathfrak{Top}^\text{ét}$ contains $Top^{et}$$\Top^{ét}$ as a full subcategory, and (if we restrict to a set of topological spaces) is a $2$-topos, so has all the limits, colimits etc. you can imagine. Using this, it can be shown that $Top^{et}$$\Top^{ét}$ does have at least binary products, but they behave very differently than in $Top.$$\Top$. For example, instead of $Top$$\Top$, consider the category $Mfd$$\Mfd$ of smooth manifolds. Given an $n$-manifold $N$ and an $m$-manifold $M,$$M$, their product $N \times^{et} M$$N \times^\text{ét} M$ in $Mfd^{et}$$\Mfd^\text{ét}$ is empty if $n \ne m,$$n \ne m$, and if $n=m,$$n=m$, their product is a highly non-Hausdorff smooth $n$-manifold. This is discussed in arXiv:1212.2282.