mbps https://blog.hatena.ne.jp/mbps/ PS https://mbps.hatenablog.com/ 圏論 命題 Kan-extension Precomposition functor Category と functor について、precomposition functor: *1 を定義できる。 命題 counit-adjunction: category: について は counit-adjunction となる。ここで *2 は、-ran *3 の族である。 逆に、二つの -ran: が存在するならば *4 は counit-adjunction となる。 系 が counit-adjunction が共に -ran 参考文献 Categories for the Working Mathematician (Gradu… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmbps.hatenablog.com%2Fentry%2F2014%2F04%2F29%2F055652" title="Adjunction lifting - PS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=%20%5Cmathcal%7BA%7D%20 Hatena Blog https://hatena.blog 2014-04-29 05:56:52 rich https://mbps.hatenablog.com/entry/2014/04/29/055652 1.0 100%