WEAK EQUIVALENCES BETWEEN CATEGORIES OF MODELS OF TYPE THEORY SIMON CHO, CORY KNAPP, CLIVE NEWSTEAD, LIANG ZE WONG It is conjectured that intensional type theory is the internal language of higher categories, in a manner

First Page		Document Content
Date: 2018-03-28 14:04:14		WEAK EQUIVALENCES BETWEEN CATEGORIES OF MODELS OF TYPE THEORY SIMON CHO, CORY KNAPP, CLIVE NEWSTEAD, LIANG ZE WONG It is conjectured that intensional type theory is the internal language of higher categories, in a manner Add to Reading List Source URL: hott-uf.github.io Download Document from Source Website File Size: 169,14 KB Share Document on Facebook