2024-02-06 わかったわ 4行で終わらせるな定期。空気になりたい凡人です。 昨日の記事で???だった普遍性の利用版を証明できたが、数行で終わる話じゃなかった件。 2回別の可換図式考えて最終的にだけの可換図式に持ち込んで一意性を使うのだが、そのための検証が全然自明じゃなかった。 2つの可換図式で同じ写像を使ったモノかの確認とそれぞれで普遍性を利用できるかの確認等々。4行で終わらすな!!! 現場からは以上です。