5 citations · 5 across the 4 of their papers we have counts for
6 papers · 1 filter
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…
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…
Shadows are Bicategorical Traces
Kathryn Hess, Nima Rasekh
Hochschild homology has proved to be an important invariant in algebra and homotopy theory, in particular due to its relevance in algebraic -theory and fixed point theory, leadi…
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…