最終更新日:2022/12/24
… A category in which every morphism is an isomorphism is called a groupoid. This means that a group is a groupoid with only one object. …
編集履歴(0)
… A category in which every morphism is an isomorphism is called a groupoid. This means that a group is a groupoid with only one object. …