やさしく理解できる圏
20180901103402
今日の圏論
でやさしく理解できる
圏
について考えました。
対象
が
集合
で、
射
が
関数
になるような
圏
はやさしくてわかりやすい。
恒等射
は
恒等写像
で、
合成
は
関数の合成
になるから。
やさしく理解できるの意味は関数の言葉をほぼそのまま圏の言葉に翻訳できるという意味。
似た言語への翻訳と類似している。
#20180901