Categories in Tokyo
Categories in Tokyo とは
Categories in Tokyoは,東京での対面集会を中心とした圏論のコミュニティです.圏論の研究者/ユーザー/学習者は,各大学の数学科, 国内の研究所,企業内セミナーにとどまらず,情報学,言語学,認知科学の研究者の中にもいます.しかし,その相互交流は(数学科の中でさえ)十分ではないように感じられます.純粋数学を背景にしている人もそうでない人も,アカデミアの人も企業の人も,異なるバックグラウンドを持つ人々が圏論を中心にして集まり,圏論の研究を開始/報告できる場を作ることが,Categories in Tokyoの目的です.
想定される発表内容
広い意味で圏論に関連する話題を想定します.多様な発表があることが望ましいので,以下のリストにないものも歓迎します.交流が目的のinformalな集会なので,発表に新規性は必須ではありません.
Topos theory
Formal category theory
Double category theory
∞-category theory
Applied category theory
純粋数学におけるcategory theory
言語学への応用
理論計算機科学への応用
認知科学への応用
など
公式Discord サーバー https://discord.gg/3Xxgxj9mE8
運営: 洞龍弥 (東京大学数理科学研究科 博士1年) horaryuya38@gmail.com