No video
世界一やさしい圏論勉強会 #0 (対象と射 / 圏の例 / 合成射の存在と可換性)
Рет қаралды 15,164
Күн бұрын■ この動画で学べる範囲
- www.slideshare... から ...
- www.slideshare... の途中まで
- 学習メモ：scrapbox.io/wo...
■ イベント情報
コンセプトは「😐 ＜ ちょっと何言ってるか分からないっす」が気軽に言える学びの場
・「圏論を勉強したいけど、まるで何もわからん 😇」という方にこそオススメです！
・授業ではなく、私が知っていることを、対話を通じて掘り下げていきたいです 🙏
・わからなくていいんです、じっくりわかるまで掘り下げちゃいましょう 🙌
- chatwork.connp...
■ 登壇者
高瀬 和之 (@Guvalif) → / guvalif
■ We are Hiring !!!
Chatwork 株式会社では、フロントエンド，バックエンドのどちらでも、関数型や圏論の考え方で設計をキレイにしたいエンジニアを募集しています：
hrmos.co/pages...
@RivusVirtutis 2 ай бұрын
本当に宇宙一丁寧で驚きました。存在からちゃんと教えてくれてる…
@user-kv7ou8fm1c 2 жыл бұрын
フロントエンド 対話 分かった 画面共有 圏論 まとめ スクラップブック 4/5
@cup77jp 2 ай бұрын
10:45は、「陰関数」っておっしゃっているのでしょうか？
@user-yx2wg9yq1v 2 жыл бұрын
え、すごい、圏論やってるのか
@user-yx2wg9yq1v 2 жыл бұрын
参考文献がきになる
@user-wf2ry7qd6y 3 жыл бұрын
数学的には何をもって同じかは同値関係を定めることに相当しますね 数学の分野とは、同値関係の数だけあるというジョークで笑っていました
@joach4687 3 жыл бұрын
しりとりの圏が本当に圏になっているのか疑問です。 仮に圏になっているとすると、合成射は何を指しますか？また恒等射は何になりますか？
@chatwork-tech-talk 3 жыл бұрын
対象が「ひらがな一文字」，射が「単語 (dom(f) == w[0], cod(f) == w[-1] と定める)」，合成射は「単語の連結 (cod(f) と dom(g) を重ねてつくる)」と定めれば、圏になりますね この定義であれば、恒等射は「対象となるひらがな一文字そのもの」として一意に定まります
@joach4687 3 жыл бұрын
@@chatwork-tech-talk お返事ありがとうございます。 重ねての質問で申し訳ありまんが、ここで言う単語とは国語辞典に載っている日本語の単語ですか？ また、私がちゃんと理解出来ていないので具体例で私の疑問を書きます。 例えば3つの対象「あ」「い」「う」があった場合、「あ」と「い」を結ぶ射は「あい」「あおい」「あわい」「あわただしい」、「い」と「う」を結ぶ射を「いわう」「いう」「いとう」「いこう」「いーゆーがいしょう」などがあります。 ここで射「青い」と射「移行」とを合成すると「あおいこう」になってこれは単語として存在しないと考えています。 その場合、任意の射に対して合成射が一意に存在するという圏の公理を満たさないので圏にならないのではと考えています。
@chatwork-tech-talk 3 жыл бұрын
@@joach4687 そうですね、その意味でいうと "単語" というのは直観的な説明として使いたいだけで、実態はただの "ひらがなの列" を考えていることになります そのため、"あお" と "いこう" の合成射も "あおいこう" として定義できて、圏になるという感じですね
【Applied Category Theory】How Mathematics deal with Circuits and Flow-Charts. Think with Categories !
UCEjVFAKrcjUWqBnHl_NlacQ
Рет қаралды 9 М.
Кушать Хочу
Рет қаралды 7 МЛН