Hayato Nasu
奈須隼大

I am a PhD student at Dalhousie University, Canada, under the supervision of Dorette Pronk.

I am a member of the Applied Category Theory Group .

My name is pronounced as /hajato nasu/.

Email : Replace $\Theta$ with @ in hnasu$\Theta$dal.ca

Research Interests

I am interested in the following topics:

• Categorical logic
• Category theory in general
• Type theory

News/ Updates

• I am working on a project at the Adjoint School 2026 on the topic of "A Double Category Theoretic Perspective on Partiality".
• New preprint "On the decomposition of a strong epimorphism into regular epimorphisms" is now available on arXiv: https://arxiv.org/abs/2604.05744.