Report copyright - Categorical Semantics for Type TheoriesCategory theory [Awodey 2010; MacLane 1971] is a branch of mathematics studying an abstract kind of mappings, called morphisms, and their algebraic
Please pass captcha verification before submit form