21/11/28 18:10:29.15 1iTkXhiD.net
>>902
圏論の重要な概念に「自然性」(naturality)「自然変換」（natural transformation）というのがあります。2つの群の「自然な」同型や、2つの複体の「自然な」同型、2つの空間の「自然な」位相同型など。
創始者マクレーンは、『概念の抽象度「圏」を変えることによって、フォーカスしたい抽象度にぴったりな数学的言語が提供されて、フォーカスした抽象度の構造だけを簡潔に記述できる』ように圏論を提案しました。
異なる抽象度での記述が必要になったら不可欠なんだと思います。