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

• 言語学への応用

• 理論計算機科学への応用

• 認知科学への応用

など