Relations With Groupoids
One of the ways of expressing the algebraic content of the theory of covering spaces is using groupoids and the fundamental groupoid. The latter functor gives an equivalence of categories
between the category of covering spaces of a reasonably nice space X and the category of groupoid covering morphisms of π1(X). Thus a particular kind of map of spaces is well modelled by a particular kind of morphism of groupoids. The category of covering morphisms of a groupoid G is also equivalent to the category of actions of G on sets, and this allows the recovery of more traditional classifications of coverings. Proofs of these facts are given in the book 'Topology and Groupoids' referenced below.
Read more about this topic: Covering Space
Famous quotes containing the words relations with and/or relations:
“She has problems with separation; he has trouble with unity—problems that make themselves felt in our relationships with our children just as they do in our relations with each other. She pulls for connection; he pushes for separateness. She tends to feel shut out; he tends to feel overwhelmed and intruded upon. It’s one of the reasons why she turns so eagerly to children—especially when they’re very young.”
—Lillian Breslow Rubin (20th century)
“Consciousness, we shall find, is reducible to relations between objects, and objects we shall find to be reducible to relations between different states of consciousness; and neither point of view is more nearly ultimate than the other.”
—T.S. (Thomas Stearns)