# PlanetPhysics/Groupoids

This is a contributed topic on groupoids and their applications.

Groupoids are a key concept in modern topology, and especially in algebraic topology; they may be considered as one of the simplest, special types of categories.

## Introduction

[edit | edit source]Several classes of groupoids and large groupoids shall be considered in this topic with pertinent examples that illustrate the construction of groupoids through several extensions of the much simpler (and global) group symmetry to both higher order symmetries and dimensions, as well as internal (or local, partial) plus external symmetry. Considered as powerful tools for investigating both Abelian and non-Abelian structures,^{[1]} groupoids are now essential for understanding topology, and are one of the important--*if not the most important* -- concepts in algebraic topology (^{[2]})

## Groupoids

[edit | edit source]**Def.**

- a "magma: a set with a total binary operation"
^{[3]}or - a "set with a partial binary operation that is associative and has inverses and identities"
^{[3]}

is called a **groupoid**.

"A groupoid is a category in which every morphism is an isomorphism."^{[3]}

## Topology

[edit | edit source]**Def.**

- a "branch of mathematics studying those properties of a geometric figure or solid that are not changed by stretching, bending and similar homeomorphisms",
^{[4]}or - a "collection τ of subsets of a set X such that the empty set and X are both members of τ and τ is closed under arbitrary unions and finite intersections"
^{[4]}

is called a **topology**.

**Def.** a "branch of topology that associates objects from abstract algebra to topological spaces"^{[5]} is called an **algebraic topology**.

## Brief Description

[edit | edit source]*Groupoids* are generalizations or extensions of the concept of group, supergroup, `virtual group', and paragroup, in several ways; one may simply extend the notion of a group viewed as an one-object category to a *many-object category with group-like elements and all invertible morphisms*. Another enrichment of the notion of a group--as in the case of topological groups-- is the concept of topological groupoid . One can also think of a groupoid as a class of linked groups, and further extend the latter groupoid definition to higher dimensions through `geometric'-algebraic constructions, for example, to double groupoids, cubic groupoids, ..., groupoid categories, groupoid supercategories, and so on. Crossed modules of groups and crossed complexes also correspond to such extended groupoids.

For precise definitions of specific classes of groupoids, see also groupoid and topological groupoid definitions, as well as those entries listed next as examples.

## Additional examples

[edit | edit source]These are examples of major classes of groupoids defining the several extensions and enrichment possibilities of the notions of group and group symmetry introduced in the above definition are the subject of several other entries:

- 2-groupoids (please see
*groupoid categories*) - Double groupoids; homotopy double groupoid of a Hausdorff space #higher homotopy groupoids and the higher dimensional, generalized Van Kampen theorems #Groupoid category
- Crossed complexes
- higher dimensional algebra (HDA)
- Groupoid super-categories (-categories, etc.)
- Groupoid supercategories

## All Sources

[edit | edit source]^{[1]}
^{[2]}
^{[3]}
^{[4]}
^{[5]}

## References

[edit | edit source]- ↑
^{1.0}^{1.1}R. Brown. 2008.*Nonabelian Algebraic Topology*.*preprint*, (two volumes). - ↑
^{2.0}^{2.1}R. Brown. 2006.*Topology and Groupoids*. Booksurge PLC. - ↑
^{3.0}^{3.1}^{3.2}^{3.3}"groupoid, In:*Wiktionary*". San Francisco, California: Wikimedia Foundation, Inc. 29 May 2014. Retrieved 2015-06-29. - ↑
^{4.0}^{4.1}^{4.2}"topology, In:*Wiktionary*". San Francisco, California: Wikimedia Foundation, Inc. 5 April 2015. Retrieved 2015-06-29. - ↑
^{5.0}^{5.1}"algebraic topology, In:*Wiktionary*". San Francisco, California: Wikimedia Foundation, Inc. 27 January 2015. Retrieved 2015-06-29.

## External links

[edit | edit source]