North, Paige Randall (University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsKing's, 2017-06-01)
This thesis presents a characterization of those categories with weak factorization systems that can interpret the theory of intensional dependent type theory with Σ, Π, and identity types.
We use display map categories ...