A category whose every morphism is invertible: objects form a class and arrows between objects compose associatively with identity arrows at each object, and each arrow has a two-sided inverse. It generalizes a group by allowing many objects while preserving local group-like symmetry.

Principle

Structure is organized by local invertibility: composition and identity data satisfy the usual categorical axioms while every morphism admits an inverse, so symmetry is expressed relative to objects rather than globally.

Demonstration

The fundamental groupoid of a topological space: objects are points, morphisms are homotopy classes of paths between points, composition is concatenation of paths, and each path class has an inverse represented by path reversal.

Misapplication

Treating a groupoid as a single group by ignoring object indexing (for example assuming a single global identity) which loses information about how symmetries vary between objects.

Consequence

Correct use yields a flexible notion of symmetry capturing local isotropy and transport; one can form orbit groupoids, compute isotropy groups at objects, and pass to quotient constructions that respect object-dependent symmetry.

Reversal

A plain category or monoid where morphisms need not be invertible; invertibility removed yields phenomena like nonreversible processes and homological asymmetry.

Boundary

Applies only to categories in which all morphisms are invertible; excludes general small or large categories with noninvertible arrows and algebraic structures that label a single identity element without object-dependence.

Semantic Tension

Tension between 'group' and 'groupoid': a group is a single-object groupoid (global symmetry), whereas a groupoid encodes a network of local groups and the ways they interrelate (local symmetry).

Synthesis

A groupoid is a category with universally invertible arrows; it extends the group concept by distributing identities and inverses across a family of objects, enabling a succinct language for local symmetry and equivalence.