generated at
レトラクション
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
レトラクション
切断
射影
同じ物なのか、文脈的におなじになるのか、など
単に訳が悪いという説もある
実際、切断は言い換えが多すぎるmrsekut