The category of [convergence spaces](http://ncatlab.org/nlab/show/convergence+space) generalise topological spaces and form a quasi-topos, as topoi are allegedly nicer is there a nicer kind of topological-like space, the category of which forms a topos?



Is there a category of topological-like spaces that forms a topos?
Ronnie has already given the answer which immediately popped into my head when I saw the question. But I should sound a warning that the objects of the topological topos aren't exactly topological spaces, and indeed it seems likely that the only full subcategories of $Top$ that are toposes are fairly uninteresting for topology: things like the full subcategory of discrete spaces or the full subcategory of codiscrete spaces, or the degenerate topos which consists of only a terminal object. 


We think of topological spaces as sets with extra structure, meaning that the underlying-set functor $\hom(1, -): Top \to Set$ is *faithful*, i.e., morphisms of $Top$ are functions satisfying some property. Suppose $T$ is a full subcategory of $Top$ whose terminal object is a 1-element space, denoted as above by $1$. Then $\hom(1, -): T \to Set$ is again faithful. This means that if $T$ were a topos, it would be a well-pointed topos. If moreover $T$ were a *complete* well-pointed (nondegenerate) topos, then it would be equivalent to $Set$. 


We see here a certain tension here between nice categories with some "un-nice" objects (e.g., the topological topos, some of whose objects are not "nice" topological spaces), and categories of "nice objects" which fail to be maximally nice as categories (e.g., toposes). But sometimes one can split the difference; the convergence spaces of the OP seem about as good a compromise as any. 


