Go to English Page

奈須隼大 Hayato Nasu

京都大学数理解析研究所の修士課程に在籍しています。

コンピュータサイエンスグループのメンバーです。

研究分野

以下の分野に興味があります:

  • 圏論的論理学
  • 圏論
  • 型理論

ArXivにおけるプレプリント

  • Double Categories of Relations Relative to Factorisation Systems, with Keisuke Hoshino (2023)
    arXiv:2310.19428
    概要 We relativise double categories of relations to stable orthogonal factorisation systems. Furthermore, we present the characterisation of the relative double categories of relations in two ways. The first utilises a generalised comprehension scheme, and the second focuses on a specific class of vertical arrows defined solely double-categorically. We organise diverse classes of double categories of relations and correlate them with significant classes of factorisation systems. Our framework embraces double categories of spans and double categories of relations on regular categories, which we meticulously compare to existing work on the characterisations of bicategories and double categories of spans and relations.

Talks

  • Double categories of Relations Relative to Factorisation Systems RIMS, Kyoto University 木曜Seminar, 2023/11/16 Slides

  • Structural Set Theory -- Towards SEFAR -- 数学基礎論若手の会2023, 2023/12/08 Slides

ノート

解説



Me in momiji trees
将軍塚青龍殿にて
妙な面持ちの奈須隼大