【代数学】数学の 「canonical(カノニカル)」についてのおぼえがき :Twitterより

note.com

以前Twitterで呟いた「カノニカルって何?」に多くの方に答えていただきました。
いろんな方に言われたことは、「圏論のuniversal mapping propertyをやるとよい」ということです

https://twitter.com/study_unnatural/status/1658101671761784833?s=20

https://twitter.com/Esquisse1102/status/1658281804422598657?s=20

https://twitter.com/Esquisse1102/status/1658281935620415488?s=20

ここの「人の意志が介在せずに」の意味が分からなかったため、後にリプライで質問をしています。それは一連のえすきすさんのツイートのあとに貼り付けます

https://twitter.com/Esquisse1102/status/1658282015245082626?s=20

https://twitter.com/Esquisse1102/status/1658282096694284289?s=20

https://twitter.com/Esquisse1102/status/1658282272376897536?s=20

https://twitter.com/Esquisse1102/status/1658282836909248512?s=20

https://twitter.com/study_unnatural/status/1658284235051143169?s=20

https://twitter.com/Esquisse1102/status/1658286276112687104?s=20

https://twitter.com/Esquisse1102/status/1658286584440197120?s=20

https://twitter.com/study_unnatural/status/1658452779319566336?s=20

https://twitter.com/Esquisse1102/status/1658483022205968385?s=20

https://twitter.com/Esquisse1102/status/1658483387005546498?s=20

https://twitter.com/Esquisse1102/status/1658483839961006084?s=20

https://twitter.com/Esquisse1102/status/1658485082435493892?s=20

次にひろたすさんのリプライです。ブール代数との関係があるということを仰っています

https://twitter.com/ghironino/status/1658689567300657152?s=20

https://twitter.com/study_unnatural/status/1658690501762248704?s=20

https://twitter.com/ghironino/status/1658694711081852930?s=20

次にろろろさんの引用です。関手の概念を説明してくれました。ミスリーディングな説明をしてしまった、とのことで、最後に訂正をいただきました

https://twitter.com/GrosPetitTopos/status/1658361968468819968?s=20

https://twitter.com/GrosPetitTopos/status/1658362038324985857?s=20

https://twitter.com/GrosPetitTopos/status/1658362116305485824?s=20

https://twitter.com/GrosPetitTopos/status/1658362185733775361?s=20

https://twitter.com/GrosPetitTopos/status/1658362685723930625?s=20

https://twitter.com/study_unnatural/status/1658455503981400068?s=20

https://twitter.com/GrosPetitTopos/status/1658473330838745104?s=20

https://twitter.com/GrosPetitTopos/status/1658473386824323077?s=20

https://twitter.com/GrosPetitTopos/status/1660601101111132161?s=20

https://twitter.com/GrosPetitTopos/status/1660601162494787584?s=20

https://twitter.com/t_uemura669101/status/1658856851939762181?s=20

https://twitter.com/t_uemura669101/status/1658857492867104772?s=20

https://twitter.com/t_uemura669101/status/1658858050306859010?s=20

次にカワズさんの引用です。「どんな有限次元ベクトル空間に対しても同じ形で定義できる同型がある」と理解するといいかな というアドバイスです

https://twitter.com/kawazu_on_bird/status/1658333576566562817?s=20

https://twitter.com/kawazu_on_bird/status/1658336231305146375?s=20

https://twitter.com/kawazu_on_bird/status/1658337273245732865?s=20

https://twitter.com/kawazu_on_bird/status/1658341323987099650?s=20

次にGengaQさんの引用です。GengaQさんはよく示唆に富んだRTをくれます。嬉しい。

https://twitter.com/kyow_QQ/status/1658304400555921408?s=20

https://twitter.com/kyow_QQ/status/1658304591329632256?s=20

https://twitter.com/kyow_QQ/status/1658304634363183105?s=20

https://twitter.com/nvsnva/status/1658306512748703744?s=20

https://twitter.com/kyow_QQ/status/1658310701503647750?s=20

テンソル代数と表現論」の池田岳さんの引用です。

https://twitter.com/gakuikeda1109/status/1658280428220870659?s=20

https://twitter.com/gakuikeda1109/status/1658291521270214656?s=20