亜群(グルーポイド)
亜群、グルーポイド(groupoid)
何かしらの圏があったときに、すべての射が可逆(同型射)な圏 $ → の射と、$ ← の射をもつ感じ
同型射の定義は下記
圏$ Aの射$ fが対象$ aから$ bへの同型射であるとは、$ f: a \to bであり、$ g: b \to aという射$ gが存在し、$ g \circ f = 1_aかつ$ f \circ g = 1_bが成り立つことである 確認用
Q. 圏とは
Q. 同型射とは
Q. グルーポイドとは
関連
(トポロジー)
トポロジー空間の特定のトポロジー不変量
参考
メモ
なんか多様体のisGroupoidという処理の定義