nLab locally trivial category




For a category CC with a single isomorphism class of objects, and a given object aa, one can ask (assuming Choice) for a map λ:Obj(C)Mor(C)\lambda:Obj(C) \to Mor(C) which picks out an isomorphism λ b:ab\lambda_b:a \to b for all other objects bb of CC. This is essentially a section of the restriction of the target map t:s 1(a)Obj(C)t:s^{-1}(a) \to Obj(C).

For an internal category, this is not always possible. But if one has a notion of local sections, such as given by a Grothendieck pretopology, say, then we can ask when this can be done locally. Indeed, one can relax the condition on the isomorphism classes, and look at finding sections for each isomorphism class.

In the case of topological categories (perhaps only groupoids), the existence of such local sections forces the space of isomorphism classes to be discrete.

Note: The terminology ‘local’ refers to local on the object of objects, not local in the usual sense of category theory, that is, for each hom-set.


Let (S,J)(S,J) be a concrete site with pretopology JJ.

Copy details below to here, rewriting for arbitrary concrete site.

Special case of topological groupoids

For a topological (resp. Lie) category XX, let X 1 isoX_1^{iso} denote the subspace (resp. submanifold) of invertible arrows . (This always exists, by general abstract nonsense - I should look up the reference, it’s in Bunge-Pare I think - DR)


A topological groupoid X 1X 0X_1 \rightrightarrows X_0 is locally trivial if for every point pX 0p\in X_0 there is a neighbourhood UU of pp and a lift of the inclusion {p}×UX 0×X 0\{p\} \times U \hookrightarrow X_0 \times X_0 through (s,t):X 1 isoX 0×X 0(s,t):X_1^{iso}\to X_0 \times X_0.

Here X 1 isoX_1^{iso} are the morphisms in the core of XX: the isomorphisms. Clearly for a Lie groupoid X 1 iso=X 1X_1^{iso} = X_1. It is simple to show from the definition that for a transitive Lie groupoid, (s,t)(s,t) has local sections. Ehresmann goes on to show a link between smooth principal bundles and transitive, locally trivial Lie groupoids.

Details of this…

Alternate characterisations

A locally discrete topological groupoid is weakly equivalent (as in chapter 1 of Fundamental Bigroupoids and 2-Covering Spaces to one with a discrete space of objects. There is in fact a canonical such space, the discrete space on the underlying set of the given space of objects.

To be expanded…

Last revised on July 20, 2010 at 07:29:51. See the history of this page for a list of all contributions to it.