groupoid

groupoidは、数学、特に圏論や幾何学において非常に重要な概念です。一般的に、すべての射が同型射であるような小圏として定義されます。これは、群の概念を一般化したものであり、演算がすべての要素のペアに対して定義されている必要はなく、特定の条件を満たすペアに対してのみ定義される部分的な二項演算を持つ構造である点が特徴です。

群との概念的な違い

group（群）では、任意の2つの要素を組み合わせることができ、常に結果が得られます。しかし、groupoidでは、演算が定義される条件（ソースとターゲットの一致）があるため、すべての組み合わせで演算ができるわけではありません。比喩的に言えば、groupがどこへでも行ける完全なネットワークであるのに対し、groupoidは特定の経路がある場合にのみ移動可能なネットワークのような構造を持っています。

幾何学および物理学への応用

この構造は、特にリー群やリー代数の一般化であるリーグルポイドとして、微分幾何学や理論物理学で活用されます。例えば、空間内の点から点への対称的な移動や、ホロノミーの記述に用いられます。これにより、局所的な対称性を大域的な構造へと拡張して解析することが可能になります。