米田の補題は（名前は「補題」ですが）、圏論の中心的な概念です。その重要さはジョークのネタにされるほどです。 米田、米田、米田 象を冷蔵庫に入れるには？ 米田の補題の米田信夫さん（肖像のお写真はコチラ）は、エンド／コエンド〈end/coend〉とグロタ…

「論理／メタ論理の記法をどうするか」の続き。書き方（構文、記法）の話です。いきなり「どう書こうが同じだろ」「書き方なんて何だっていいじゃねーか」と言って済ますことが出来るなら楽なんだけど … そうもいかないのですよねー。悩みと迷いとウンザリを…