土曜日（2013-09-28）に書いた「トレースのタイトニングが自然変換であること」において、トレースのタイトニング公式と不動点に関するタイトニング類似の公式が、ある自然変換の自然性（naturality）の記述であることを示しました。不動点演算子の公理には…