廣群

在數學中 ， 尤其在範疇論和同倫論中 ， 廣群 （ groupoid ， 或勃蘭特廣群 ， Brandt groupoid ） 是對群的概念的抽象化 。 廣群可被視爲 ： 以偏函數取代二元運算的群 ； 所有態射都可逆的範疇 。 這一類範疇可被視作增加了一種一元運算 ， 與群論中的逆元相對應 。 廣群的特例包括 ： Setoid ， 即帶有等價關係的集合 ； G - 集合 ， 即帶有G 的作用的集合 。 廣群常用於研究流形等幾何物體 。 廣群最先由海因裏希 · 勃蘭特於1927年引入 ， 其思想暗含在勃蘭特半群的概念中 。