homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
A groupoid representation is a representation of a groupoid.
Let be a groupoid. Then:
A linear representation of is a groupoid homomorphism (functor)
to the groupoid core of the category Vect of vector spaces (this example). Hence this is
For each object of a vector space ;
for each morphism of a linear map
such that
(respect for composition) for all composable morphisms in the groupoid we have an equality
(respect for identities) for each object of the groupoid we have an equality
Similarly a permutation representation of is a groupoid homomorphism (functor)
to the groupoid core of Set. Hence this is
such that composition and identities are respected, as above.
For and two such representations, then a homomorphism of representations
is a natural transformation between these functors, hence is
for each object of the groupoid a (linear) function
such that for all morphisms we have
A permutation representation of is often called a “-set” (see at G-set) and the category of permutation representations is also often denoted
(groupoid representations are products of group representations)
Assuming the axiom of choice then the following holds:
Let be a groupoid. Then its category of groupoid representations is equivalent to the product category indexed by the set of connected components (this def.) of group representations of the automorphism group (this def.) for any object in the th connected component:
Let be the category that the representation is on. Then by definition
Consider the injection functor of the skeleton (from this lemma)
By this lemma the pre-composition with this constitutes a functor
and by combining this lemma with this lemma this is an equivalence of categories. Finally, by this example the category on the right is the product of group representation categories as claimed.
(groupoid representation of delooping groupoid is group representation)
If is the delooping groupoid of a group (this example), then a groupoid representation of according to def. is equivalently a group representation of the group :
(fundamental theorem of covering spaces)
For a topological space then forming monodromy is a functor from the category of covering spaces over to that of permutation representations of the fundamental groupoid of :
If is locally path connected and semi-locally simply connected, then this is an equivalence of categories. See at fundamental theorem of covering spaces for details.
Last revised on July 11, 2017 at 09:14:30. See the history of this page for a list of all contributions to it.