Groupoid

related topics
{math, number, function}
{group, member, jewish}
{math, energy, light}

In mathematics, especially in category theory and homotopy theory, a groupoid (less often Brandt groupoid or virtual group) generalises the notion of group in several equivalent ways. A groupoid can be seen as a:

Special cases include:

Groupoids are often used to reason about geometrical objects such as manifolds. Heinrich Brandt introduced groupoids implicitly via Brandt semigroups in 1926.[1]

Contents

Definitions

Algebraic

A groupoid is a set G with a unary operation ^{-1}:G\to G, and a partial function *:G\times G \to G. * is not a binary operation because it is not necessarily defined for all possible pairs of G-elements. The precise conditions under which * is defined are not articulated here and vary by situation.

Full article ▸

related documents
Cauchy sequence
Forcing (mathematics)
Mathematical induction
Bra-ket notation
Johnston diagram
Principal components analysis
List of trigonometric identities
Riemann zeta function
Boolean satisfiability problem
Direct sum of modules
Functor
Integration by parts
Newton's method
Pascal's triangle
Series (mathematics)
Addition
Russell's paradox
Non-standard analysis
Stone–Čech compactification
Inner product space
Ruby (programming language)
Wavelet
Infinity
Cantor set
Pythagorean theorem
Complete lattice
Recursion
Word problem for groups
Finite field
XML