Report copyright - Categorical Semantics of Dependent Type TheoryChapter 1 Introduction There is a syntax/semantics duality between type theory and category theory. We can think of type theories as being
Please pass captcha verification before submit form