awodey.github.io

Steve Awodey's GitHub pages

View My GitHub Profile

Steve Awodey

Professor, Departments of Philosophy and Mathematics Carnegie Mellon University

Research Areas: Category Theory, Logic, Homotopy Type Theory

Projects

Books

Lectures

Preprints

Publications

Students

Editorial

Courses

Contact

Steve Awodey, Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA 15213

Office BH 135F, Phone (412) 268-8947, Fax (412) 268-1440, Email awodey(at)cmu(dot)edu