m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 具体例 Mx 2016 圏一般論 グラフとツリーと余反映的部分圏 - 檜山正幸のキマイラ飼育記 上記の例は、基点付き弧状連結空間の被覆空間の類似物だ。空間Xに被覆空間と射影 C(X)→X が定まる。射影が余反映的構造を決める。距離空間と完備距離空間と距離完備化は反映的部分圏の例になる。グラフベースで反映的部分圏は、単純有向グラフの圏をSimpGraphとして、多重辺を潰す操作を Graph→SimpGraph とすると、埋め込みと随伴になる。有向グラフの圏をGraphとして、頂点集合を対応させる G|→Vert(G) を Graph→Set という関手とみなす。離散グラフとしての埋め込みと随伴ペアになる。同じセッティングで完全… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160926%2F1474860738" title="反映的部分圏、余反映的部分圏、随伴 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-09-26 12:32:18 rich https://m-hiyama-memo.hatenablog.jp/entry/20160926/1474860738 1.0 100%