<hr> なんとかかんとか。 このように、hrタグと次の行をひっ付けると余分な空行が入る。 <hr> なんとかかんとか。 ソースで空行をあけると、表示では空行が付かないでくっついて見える。以前との互換性はない。ソースでくっついていても空行は付かなかったから。</hr></hr>

写像柱の類似として関手柱を定義しして、左右の拡張を関手柱圏からの関手とみる。 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は関手柱圏の部分圏とみた底面圏からの関手。上の表現は…

スピヴァック本だと、左右が使われている。 左錐 ＝ 錐 右錐 ＝ 余錐 関手レベルではなくて、圏レベルで錐を構成する。 C◁ ： Cの左錐＝Cを底面とする錐、三角が左向き C▷ ： Cの右錐＝Cを底面とする余錐、三角が右向き 左右とも頂点を cone point〈錐点〉と…