7

Cubical models are cofreely parametric
A parametric model of type theory is defined as a model where any type comes with a relation and any term respects these. Intuitively, …
Hugo Moeneclaey
PDF Cite
Quasi-categories and complete Segal spaces
Supervised by Georges Maltsiniotis.
We present the article of the same name by Joyal and Tierney. It builds two Quillen equivalences …
Hugo Moeneclaey
PDF Cite