Rchr
J-GLOBAL ID：202101012484607160
Update date: May. 30, 2023
Aratake Hisashi
アラタケ ヒサシ | Aratake Hisashi
Affiliation and department：
Job title：
postdoc researcher
Research field (1)：
Basic mathematics
Research keywords (6)：
Category Theory
, Categorical Logic
, Topos Theory
, Mathematical Logic
, Foundations of Mathematics
, Model Theory
Research theme for competitive and other funds (2)：
- 2022 - 2025 Sheaf Representations of Algebras and Logic of Sheaves
- 2017 - 2020 圏論的モデル理論の新展開:分類トポスの手法、およびモデル理論の代数幾何化
Papers (2)：
-
Hisashi Aratake. Limits, Colimits, and Spectra of Modelled Spaces. Journal of Pure and Applied Algebra. 2023. 227. 12
-
Hisashi Aratake. Sheaves of structures, Heyting-valued structures, and a generalization of Łoś's theorem. Mathematical Logic Quarterly. 2021. 67. 4. 445-468
Lectures and oral presentations (4)：
-
Advanced Topics in Categorical Logic
(2023)
-
Higher-Order Intuitionistic Logic and Toposes
(2023)
-
First-Order Categorical Logic (2)
(2023)
-
First-Order Categorical Logic (1)
(2023)
Education (3)：
- 2017 - 2021 Kyoto University Graduate School of Science Division of Mathematics, Doctoral Course
- 2015 - 2017 Kyoto University Graduate School of Science Division of Mathematics, Master's Course
- 2011 - 2015 Kyoto University Faculty of Science
Professional career (1)：
- PhD (Science) (Kyoto University)
Work history (3)：
- 2021/08 - 現在 Kyoto University Research Institute for Mathematical Sciences postdoc researcher
- 2022/01 - 2023/03 Advanced Telecommunications Research Institute International The Thomas N. Sato BioMEC-X Laboratories Visiting Researcher
- 2017/04 - 2020/03 Kyoto University Research Institute for Mathematical Sciences JSPS Research Fellow DC1
Association Membership(s) (1)：
The Mathematical Society of Japan
