亜群(圏論)

groupoid

任意の射が可逆の圏を亜群と呼ぶ。