Hayato Nasu
奈須隼大

I am a PhD student at Dalhousie University, Canada, and my supervisor is Dorette Pronk.

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 – topos theory, hyperdoctrines, categorical semantics of type theory
Category Theory – toposes, double categories, higher categories
Type Theory – homotopy type theory, structural set theory