Hayato Nasu
奈須隼大
I am a PhD student at Dalhousie University, Canada, under the supervision of Dorette Pronk.
I am a member of the Atlantic Category Theory Group.
My name is pronounced as /hajato nasu/.
Email: Replace $\Theta$ with @ in hnasu$\Theta$dal.ca
Research Interests
- Categorical logic
- Category theory in general
- Type theory