第16回数学カフェ『圏論２』

第16回の数学カフェ、今回のテーマは「圏論２」です！

大好評の圏論回１に引き続き、 圏論が数学にどのように使われているかを学びます。

今回初参加という方も大歓迎ですので ぜひぜひご参加くださいませ。

（なお、別途予習回も設けていますので、ご興味ある方はfacebookページやtwitterにてお声かけ下さいませ。）

講師の方の自己紹介

今回は、数学者の方、数学科の院生の方をお呼びしています。 お２人ともご専門の知識が深いだけでなく、わかりやすく伝えることにも力を入れていらっしゃいます！

ぴあのんさんより

ぴあのん(@piano2683)です。数学科の修士課程で圏論的モデル理論の研究をしています。Twitterではもっぱら圏論クラスタと認識されているような気がしますが、興味がある対象はあくまでロジック（モデル理論）に出てくる公理系の性質やらモデルやらです。でも、なぜか普段は圏論ばかりやる羽目になっています。

研究活動以外では、数理の翼夏季セミナーや関西すうがく徒のつどいなどのアウトリーチ活動にいろいろと手を出しています。今回もその活動の一環として、数学に興味のあるみなさんに圏論の楽しさを知っていただければと思っています。どうぞよろしくお願いいたします。

のらんぶるさんより

こんにちは．私は，数論幾何という分野で研究している数学者です．数論幾何とは，整数などの性質を，広い意味で幾何学的なアイディアに基づいて調べる学問です．その必要不可欠な道具として圏論が至る所に登場するので，圏論の専門家というわけではない私も，日常的に圏に触れる生活を送っています．今回はユーザーの立場から，数論幾何における圏，とくにトポスの応用の一側面をご紹介します．「紹介するの？あぁ，しょうかい」などとツレナイことを言わず，一緒に圏論と数論幾何の世界を覗いてみてください．（Twitter: @nolimbre ではダジャレおじさんとして活動？しています．）

発表内容

ぴあのんさんご講演

この講義では、数学における圏論の機能に焦点を当てます。前半では、圏論における各種の普遍性やそれに関連する圏・函手の性質の使われ方を紹介し、抽象的な構造を扱う“言語としての圏論”の側面を見ます。一方後半では、圏論の中でもトポスと呼ばれる特別な圏のクラスを例にとって、言語としての役割を超える圏論の魅力について伝えたいと思います。

前提知識としては、前回の数学カフェ圏論回における松森さんの講義に出てきた定義（圏・函手・自然変換・極限）程度は仮定してお話いたします。 https://t.co/iSZAdSIhJ6

のらんぶるさんご講演

圏論が有効に用いられる局面の一例として，Weil 予想と p-進コホモロジーを紹介します．元々の Weil 予想は，圏論に直接関係する主張というわけではありませんが，その解決には圏論が有効に用いられます．講演では，まず Weil 予想を初等的に説明できる範囲で紹介したのち，圏論（特にトポスの理論）との関わりを説明します．そして，具体的なトポスとして p-進コホモロジーに用いられるトポスを紹介する予定です．

講演全体を通して，数学的に厳密な議論を通じて理解を進めていくような場面は少なく，基本的には大雑把なアイディアを概観する形をとることになります．これを通じて数論幾何は楽しそうだとか，圏論の威力は凄いとか思ってもらうことが狙いです．また，話の性質上，圏論以外の数学的対象がいろいろと登場します（たとえば有限体やコホモロジーなど……）が，これらは予備知識として仮定するのではなく，知らなくてもできるだけ雰囲気が伝わるようにお話ししたいと思っています．

会場について

会場の詳細については別途、申し込み時に登録いただくメールアドレス宛に送付します。そのため登録時にメールアドレスをお忘れないようご記入をお願いします。

参加費

飲み物、お菓子代として実費1000円をいただきます。 講師の方がご遠方より来てくださっているため、交通費に充てさせていただきます。

二次会について

会の終了後に懇親会を行います。 参加ご希望の方は質問項目にご記載をお願いします！

数学カフェ Facebookページ

https://www.facebook.com/mathcafejapan

数学カフェ Twitter

ID：@mathcafe_japan

ハッシュタグ：#math_cafe

注意事項

※内容・タイトルなどは参加者の皆様のニーズに合わせて多少の変更の可能性がございます。

※お申し込みの方には、ご登録後参加者アンケートをお送りし、ご出身の学科や基礎知識の有無、講師へのご希望を伺います。

内容をより良いものにさせていただくためのアンケートですので、よろしければご協力くださいませ。