computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 普遍射の定義 (Wikipediaによる) と を圏、 を関手、 を の対象とするとき、 から への普遍射 とは、以下を満たす の対象 と のことを言います： の対象 と に対して が一意的に存在して を満たす。 可換図式で書くと以下のようになりますが斜めの線が書けないようなのでちょっと見にくいです。 随伴関手の定義 (Wikipediaによる) と を圏、 を関手とするとき、 の各対象 に対して、 から への普遍射が存在するとき を左随伴関手と呼びます。 の各対象 に関して の対象 と から への普遍射 を決めると、関手 で、 と、任意の の射 について が成り立つものが一意的に存在します。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F02%2F01%2F004012" title="論理計算と随伴関手(3) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20C Hatena Blog https://hatena.blog 2020-02-01 00:40:12 rich https://computeralgebra.hatenablog.com/entry/2020/02/01/004012 1.0 100%