Una categoría en la que todo morfismo es invertible: los objetos forman una clase y las flechas entre objetos se componen asociativamente con identidades en cada objeto, y cada flecha tiene un inverso bilateral. Generaliza un grupo al permitir múltiples objetos conservando simetría local del tipo grupo.

Principio

La idea organizadora es la invertibilidad local: las operaciones de composición e identidad satisfacen los axiomas categóricos y todo morfismo admite inverso, de modo que la simetría se expresa con respecto a objetos en lugar de globalmente.

Demostración

El grupoide fundamental de un espacio topológico: objetos son puntos, morfismos son clases de homotopía de caminos entre puntos, la composición es la concatenación de caminos, y cada clase de camino tiene inverso dado por invertir el camino.

Aplicación incorrecta

Tratar un grupoide como un grupo único ignorando la indexación por objetos (por ejemplo asumir una identidad global única), lo que borra información sobre cómo varían las simetrías entre objetos.

Consecuencia

Su uso correcto proporciona una noción flexible de simetría que captura isotropía local y transporte; se pueden formar grupoides de órbita, calcular grupos de isotropía en objetos y construir cocientes que respeten la simetría dependiente del objeto.

Inversión

Una categoría o monoide convencional donde los morfismos no son necesariamente invertibles; quitar la invertibilidad produce procesos no reversibles y asimetría homológica.

Límite

Se aplica únicamente a categorías en las que todos los morfismos son invertibles; excluye categorías generales con flechas no invertibles y estructuras algebraicas que disponen de una sola identidad sin dependencia de objetos.

Tensión semántica

Tensión semántica entre 'grupo' y 'grupoide': un grupo es un grupoide de un solo objeto (simetría global), mientras que un grupoide codifica una red de grupos locales y sus interrelaciones (simetría local).

Síntesis

Un grupoide es una categoría con flechas universalmente invertibles; extiende el concepto de grupo repartiendo identidades e inversos sobre una familia de objetos, permitiendo un lenguaje conciso para la simetría y la equivalencia locales.