Home Research Papers Research Talks Others 日本語ノート

← Back to Talks

From Fibrations to Virtual Double Categories: Categorical Logic Meets Double Categories — Side A

Kyoto Category Theory Meeting

PDF Related paper

Hayato Nasu — PhD student, Dalhousie University  ·  hnasu [at] dal.ca This website is built and maintained with the help of Claude (Anthropic). © Hayato Nasu