Let be the category of compactly generated spaces and continuous maps, equipped with a Grothendieck topology given by usual open covers of topological spaces. This topology is subcanonical. Consider the 2-category of 1-stacks of groupoids on ; by Yoneda is a full subcategory.
By analogy with the case of algebraic stacks one says that a morphism of 1-stacks in is a representable morphism of stacks if for any morphism of 1-stacks from a (stack associated to a) topological space to the pullback is isomorphic to (a stack associated to) a topological space.
We say that a property of morphisms is local on the target if satisfaction of this property for a base change of a morphism along a surjective local homeomorphism implies the property for . Given a property of morphisms of topological spaces stable under base change along embeddings and local on the target; a representable morphism of 1-stacks has this property if there exists a topological space and an epimorphism such that the inverse image has property .
Following Noohi, we say that
A 1-stack of groupoids over having a representable epimorphism is a pretopological stack. Any map from a topological space to a pretopological stack is representable and the diagonal is representable as well. The pretopological stack is called topological stack if the chart can be chosen to belong to a class of “local fibrations”; there are axioms which the class of local fibrations have to satisfy; there are several natural choices of this class which modify the variant of topological stacks considered.
Articles by Behrang Noohi on this topic: