そういう議論って数学の至るところに出てこないかね？
「〜を連続にする最弱の位相」とか、
たぶん突き詰めていくと圏論のユニバーサリティーに辿り着きそうな気がする。