广群 在数学中尤其在范畴论和同伦论中广群groupoid或勃兰特广群Brandt groupoid是对群的概念的抽象化广群可被视为 以偏函数取代二元运算的群 所有态射都可逆的范畴这一类范畴可被视作增加了一种一元运算与群论中的逆元相对应 只有一个对象的广群一般是群 在存在依赖类型的情况下一般来说一个范畴可视作是类型化的幺半群广群也可简单视作类型化的群对象到对象的态射形成类型的依赖族于是态射可以是类型化的 g  A  B displaystyle gArightarrow B  h  B  C displaystyle hBrightarrow C 于是组合是全函数    B  C    A  B   A  C displaystyle circ Brightarrow Crightarrow Arightarrow Brightarrow Arightarrow C 于是 h  g  A  C displaystyle hcirc gArightarrow C  广群的特例包括 集合体Setoid即带有等价关系的集合 G集合即带有G 的作用的集合 广群常用于研究流形等几何物体广群最先由海因里希勃兰特于年引入其思想暗含在勃兰特半群的概念中