生成単位θを持つ自己豊饒圏Cで、 [θ, A]C A in C が成立する。これが成立するθを生成単位と呼ぶから、同語反復だが。事例： 圏 生成単位 Set 1 PtSet 2 VectK K R-Mod R VectBdl[M] RM Sh[X] 1` R-Mod-Sh[X] R [θ, A]C A in C を要素・ポインター・同型と呼…

本編 さまざまな関手／オペレータと微分の表示 - 檜山正幸のキマイラ飼育記 (はてなBlog) に関連して。 は、接バンドルのホロノーム座標のファイバー成分 は、余接バンドルのホロノーム座標のファイバー成分 は、ユークリッド空間Rn値関数のヤコビアン 次の…