13 citations · 50 across the 27 of their papers we have counts for
4 papers · 1 filter
Simplicial Homotopy Type Theory is not just Simplicial: What are -Categories?
Nima Rasekh
-category theory was originally developed in the context of classical homotopy theory using standard set theoretical assumptions, but has since been extended to a variety o…
Non-Standard Models of Homotopy Type Theory
Nima Rasekh
Homotopy type theory is a modern foundation for mathematics that introduces the univalence axiom and is particularly suitable for the study of homotopical mathematics and its forma…
Filter Quotient Model Structures
Nima Rasekh
The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has be…
Cosmological Unstraightening
Nima Rasekh
The unstraightening construction due to Lurie establishes an equivalence between presheaves and fibrations, using one prominent model of -categories, namely quasi-categ…