昨日の記事「テレオロジー圏の公理の自然な解釈」にて： [テレオロジー圏に関する] このような事実を、スッキリと短く書く記述方法はないものでしょうか？ ロマン〈Mario Roman〉のストリング図は確かに便利ですが、大規模高次な代数系を直接的に表現する記…