广群

在数学中，尤其在范畴论和同伦论中，广群（groupoid，或勃兰特广群，Brandt groupoid）是对群的概念的抽象化。广群可被视为：
以偏函数取代二元运算的群；
所有态射都可逆的范畴。这一类范畴可被视作增加了一种一元运算，与群论中的逆元相对应。 

广群的特例包括：
Setoid，即带有等价关系的集合；
G-集合，即带有G 的作用的集合。

广群常用于研究流形等几何物体。广群最先由海因里希·勃兰特于1927年引入，其思想暗含在勃兰特半群的概念中。

参考

代数结构
范畴论
同伦论