幾何っぽいその他代数本編ネタ

$\hat{\Gamma}_M( \varphi^\sharp F )/ C^\infty_M = (\, (C^\infty_M | ^{\varphi^\flat} / \varphi^\dashv C^\infty_N) \otimes_{\varphi^\dashv C^\infty_N} (\varphi^\dashv (\hat{\Gamma}_N F )/ \varphi^\dashv C^\infty_N) \,)/C^\infty_M$

$\hat{\Gamma}_M( \varphi^\sharp F ) = \varphi^{\sharp\sharp}( \hat{\Gamma}_N(F) )$

(新) 檜山正幸のキマイラ飼育記メモ編

引き戻しの公式