軽深(かるしん なんちゃって圏論) Advent Calendar 2023 8日目の記事です。
演習形式をとっているので、ぜひ 回答を試みてください。
前提知識 組み合わせ
圏は、射つまり矢印が重要です。私達は、普段よく矢印をつかっています。そんな矢印にほんの少し、圏論的な雰囲気の使い方を付加するだけで面白いことがわかってきます。
かつての日本のガラケーが、写メをしたのがそれですね。携帯の使い方を大きくかえました。
組み合わせが異なった印象を与えることはいくらであります。中国との貿易は、日本が大幅に輸入超過で赤字になってるとされていますが香港を加えるとどうでしょうか?
香港を加えた中国との貿易は結構均衡してるような気がします。
組み合わせが圏として射として厳密かというと勿論全然違います。圏として組み合わせを厳密に考えるのは桁違いに難しいです。でも軽深(かるしん なんちゃって圏論)なので、数学的厳密さは、無視します。矢印をつかって考えるとわかりやすいという意味で、演習 組み合わせ を提示します。