圏論（けんろん）演習：賢くなりたいですか？

概要

圏論を学んでから、私は賢くなったと思うので、皆さんも賢くなるのではないかと思い、実験的に演習形式のイベントをつくっています。 演習は、アドベントカレンダーでつくっています。１日めの演習は、軽深演習 #1 BL33XUです。　軽深（かるしん）は、私の造語です。圏論をなんちゃって理解する試みです。この　BL33XU演習は、ぜひ試してください。
圏論は数学の基礎理論で、集合論に替わるものです。20世紀中ごろに登場し、有名な数学者グロタンディークが数学に幅広く適用し、多大な成果をあげたので有名です。ちなみに、彼の有名な論文の一つに東北大学で出版されたものがあり、Tohoku paper と呼ばれています。
圏論は非常に幅広い適用範囲を持ちます。プログラミングへの適用も有名で、名前を聞いたことがある方もいらっしゃるでしょう。今や認知科学や哲学にも適用が広がっています。そして、圏論の醍醐味は何にでも簡単に適用できることです。
厳密に圏論を理解するのは非常に難しいですが、圏論の面白さは誰でも簡単に体験できます。今回は、軽深（かるしん　なんちゃって圏論）演習として、知識でなく、体験として圏論を理解してみましょう。
★　毎回事前にヒットソングを聞くのをお願いしています。イベントに関連する選曲です。今回は、最高到達点です。私、毎日聞いています。

タイムスケジュール

登壇者

長尾正

https://note.com/zanjibar

参加対象

• 誰でも

参加費

無料

注意事項

• 登壇者に対する悪口雑言は許可します。但し、口頭では３０秒までです。他の参加者へは不許可です。