5 citations · 5 across the 1 of their papers we have counts for
8 papers
Introduction to Complete Segal Spaces
Nima Rasekh
We introduce -categories via complete Segal spaces. We primarily focus on foundational concepts, aiming to provide proper motivation and intuition, requiring only a rudimen…
-Limits I: Definition and first consistency results
Lyne Moser, Nima Rasekh, Martina Rovelli
We give a model-independent definition of limits for diagrams valued in an -category. We show that this definition is compatible with the existing notion of homotopy 2-…
Fractured Structures in Condensed Mathematics
Nima Rasekh, Qi Zhu
We construct a fractured structure, in the sense of Lurie, on the -topos of condensed anima. This fractured structure allows us to better comprehend various properties of c…
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…
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…