レトラクション
from
分裂
レトラクション
日本語では
射影
とか、
引き込み
と言うらしい
https://en.wikipedia.org/w/index.php?title=Retraction_(category_theory)&redirect=no
切断
にリダイレクトされる
https://m-hiyama.hatenablog.com/entry/20070627/1182922095
https://m-hiyama.hatenablog.com/entry/20080704/1215149508#埋め込みと引き込みレトラクション
https://m-hiyama.hatenablog.com/entry/20180731/1533020468
この辺の関係性を理解していない
mrsekut.icon
レトラクション
切断
射影
同じ物なのか、文脈的におなじになるのか、など
単に訳が悪いという説もある
実際、
切断
は言い換えが多すぎる
mrsekut.icon