mbps https://blog.hatena.ne.jp/mbps/ PS https://mbps.hatenablog.com/ 圏論 定義 Kan-extension Precomposition functor Category と functor について、whiskering functor precomposition functor: *1 を定義できる。 Right Kan extension Functor: について、-terminal morphism*2: を、right Kan extesion of along (-ran) といい、 を、 で表す: Hom-set Right Kan extension Right Kan extensionはterminal morphismなので、Universal morphism - PSよ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmbps.hatenablog.com%2Fentry%2F2014%2F04%2F01%2F015006" title="Kan extension - 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%28-%29K%5C%20%3A%5C%20%5Cmathcal%7BA%7D%5E%7B%5Cmathcal%7BC%7D%7D%20%5Crightarrow%20%5Cmathcal%7BA%7D%5E%7B%5Cmathcal%7BM%7D%7D%20 Hatena Blog https://hatena.blog 2014-04-01 01:50:06 rich https://mbps.hatenablog.com/entry/2014/04/01/015006 1.0 100%