준군

준군(groupoid)은 모든 사상이 동형사상인 범주이다.

정의

범주 \(\mathcal{G}\)가 다음의 조건을 만족하면 \(\mathcal{G}\)를 준군이라고 한다.

• 임의의 \(x, y \in \mathcal{G}\), \(f : x \to y\)에 대해 역원 \(f^{-1} : y \to x\)가 존재하여 \(f^{-1} \circ f = 1_x\), \(f \circ f^{-1} = 1_y\)를 만족한다.