軽深(かるしん なんちゃって圏論) Advent Calendar 2023 7日目の記事です。
演習形式をとっているので、ぜひ 回答を試みてください。
前提知識 恒等射 なにもしない
圏は、射が重要です。その中でも、特に重要なのが、恒等射です。言葉を使った説明では、何もしない とよく表現されます。これを知っただけでは、とても重要とは思えないでしょう。数学的には恒等射は逆射と関連があるので、極めて重要です。自然数で言えば、乗法の1が恒等射に相当します。行列だったら単位行列になります。
さて図式だと対象と射がひとつの場合です。
軽深(かるしん なんちゃって圏論)なので、数学的厳密さは、無視して演習 何もしない を提示します。
演習 いろいろ検討して何もしないと意思決定することは結構あります。どんな場合がそうでしょうか?
CD、DVDの規格が決まるときは、関係ある企業はどうだったのでしょうか? あたらしいソフトウェア導入のとき、ユーザー企業はどんな場合にどう行動するのでしょうか?
何もしない のは賢い選択ではないでしょうか?