groupoid

广群

Category Theory · Undergraduate · Mathematics Resources editorial compilation (AI-assisted)

Translation evidence: Literature usage

Meaning in context

A category in which every morphism is invertible.

每个态射都可逆的范畴。

Example

A group viewed as a one-object category is a groupoid.

Usage and distinctions

A groupoid may have many objects; higher groupoids retain higher homotopies beyond an ordinary groupoid.

Recommended reading in this subject · Preparation & skip guidance

Definition sources

  1. Jacob Lurie — Higher Topos Theory (author IAS PDF)§1.1.1, discussion of groupoids and higher groupoids · Checked 2026-10-14

Translation sources

  1. 李文威 — 代数学方法，第一卷（作者源码）第2章，「范畴与态射」，定义「广群 (groupoid)」 · Checked 2026-10-14
Edit source / propose a PRReport a correction

Original encyclopedia and terminology content: CC BY-SA 4.0. Contribute or report a correction.