亜群

groupoid

マグマのことも「亜群」と呼ぶことがあるが、それとは別の話

任意の射が可逆の圏

対象は一つとは限らない