写像柱の類似として関手柱を定義しして、左右の拡張を関手柱圏からの関手とみる。 https://en.wikipedia.org/wiki/Mapping_cylinder https://ncatlab.org/nlab/show/mapping+cylinder *1*2 *1:記事： https://link.springer.com/article/10.1007/s00454-013-…

All Concepts are Kan Extensions

カン拡張のために、柱の絵を描く - 檜山正幸のキマイラ飼育記 (はてなBlog) で出てくる“柱の圏”CylFは、次のように書ける。 [Cyl(K:C→D), E]/(F:C→E) Cyl(-)は、関手から関手柱圏を構成する構成法で、Fは関手柱圏の部分圏とみた底面圏からの関手。上の表現は…