m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 Globularのサンプルを追加しました。 http://globular.science/1601.006 このワークスペースの内容：次の素材があって、 圏 C 圏 D 関手 F:C→D 関手 G:D→C 自然変換 η::IdC⇒F*G:C→C 自然変換 ε::G*F⇒IdD:D→D ニョロニョロ関係式（snake relations）を満たすとき、x∈|C|, b∈|D| に対して、次の同型（双射）が作れます。 D(F(x), b) C(x, G(b)) ただし、対象 x, b と射 f∈C(x, G(b)), g∈D(F(x), b) は、格上げして考えます。要するに、関手の随伴対に対す… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20160127%2F1453853414" title="Globularのサンプルを追加： 随伴対の二種類の定義 - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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-01-27 09:10:14 rich https://m-hiyama.hatenablog.com/entry/20160127/1453853414 1.0 100%