Browsing Department of Pure Mathematics and Mathematical Statistics (DPMMS) by Subject "weak factorization systems"

Now showing items 1-1 of 1

  • Type theoretic weak factorization systems 

    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 ...