Cartesian Cubical Model Categories
暫譯: 笛卡兒立方模型範疇

Steve Awodey holds the Dean's Chair in Logic at Carnegie Mellon University, where he is Professor of Philosophy and Mathematics. A founder of Homotopy Type Theory, he co-organized a special research year on Univalent Foundations at the Institute for Advanced Study (Princeton). His numerous publications include the textbook Category Theory and the collaborative volume Homotopy Type Theory: Univalent Foundations of Mathematics. He serves on several journal editorial boards and is coordinating editor of the Journal of Symbolic Logic. He has held visiting appointments at the Poincaré Institute (Paris), Newton Institute (Cambridge), Hausdorff Institute (Bonn), and the Centre for Advanced Studies (Oslo), and is currently a Royal Society Wolfson Visiting Fellow at Cambridge University.

史蒂夫·阿沃迪 (Steve Awodey) 擔任卡內基梅隆大學邏輯學院院長職位，並且是哲學與數學的教授。他是同倫類型理論 (Homotopy Type Theory) 的創始人之一，曾在普林斯頓高等研究所 (Institute for Advanced Study) 共同組織了一個關於單值基礎 (Univalent Foundations) 的特別研究年。他的多篇出版物包括教科書 範疇理論 (Category Theory) 和合作編輯的專著 同倫類型理論：數學的單值基礎 (Homotopy Type Theory: Univalent Foundations of Mathematics)。他擔任多本期刊的編輯委員會成員，並且是 符號邏輯期刊 (Journal of Symbolic Logic) 的協調編輯。他曾在龐加萊研究所 (Poincaré Institute, 巴黎)、牛頓研究所 (Newton Institute, 劍橋)、豪斯多夫研究所 (Hausdorff Institute, 波恩) 和高等研究中心 (Centre for Advanced Studies, 奧斯陸) 擔任訪問職位，目前是劍橋大學的英國皇家學會沃爾夫森訪問學者 (Royal Society Wolfson Visiting Fellow)。