"extranatural transformation" は「エキストラ自然変換」と言うことにします。カタカナと漢字を混ぜる用法は「モノイド圏」とか「プロ関手」とか（僕は）普通に使っているのでこれでいいとします。 nLabのエキストラ自然変換の項目 https​://ncatlab.org/nl…