All Questions

Is there any treatment on principal "categorical" bundles - principal $\mathbf{C}$-bundles, where $\mathbf{C}$ is some (topological) category? I know that one can define "categorical ...

In Introduction to the language of stacks and gerbes, Moerdijk defines a torsor to be a sheaf $\mathcal{S}$ on $X$ with a freely transitive left-action of a sheaf of groups $\mathcal{G}$, such that $...