It has been almost ten years since Lurie published Higher Topos Theory, where (following Joyal and probably others) he set up foundations for higher category theory via quasicategories. My impression is that this field is not yet completely settled, and so one might expect there to have been significant simplifications of this material since.

I know of one possible example (though I am not sure if it is best described as a simplification, rather than an alternative route), namely the proof of the equivalence between quasicategories and simplicial categories given in https://arxiv.org/abs/0911.0469. What other foundational advances have happened after the publication of HTT?

  • 2
    $\begingroup$ Currently the synthetic theory of (oo,1)-categories is being developed which will allow people to say things that are true in all models of (oo.1)-categories at once. See for example Emily Riehl's work. Notions such as elementary (oo,1)-topos are being defind and studied. It is expected this will simplify and unify a lot of "analytic" work on higher category theory. Here is a nice talk by Emily showing current happenings. $\endgroup$ Sep 22, 2018 at 9:22
  • 3
    $\begingroup$ Heuts and Moerdijk clarified the straightening/unstraightening functors in their papers "Left fibrations and homotopy colimits I/II". Moerdijk and coauthors developed the theory of dendroidal sets, which is a model for (∞,1)-operads closer in spirit to quasicategories than Lurie's own model. $\endgroup$ Sep 24, 2018 at 1:15

2 Answers 2


In Higher Topos Theory, Lurie accomplishes many things. Let me highlight a few:

  • A study of the Joyal model structure and comparison to the Bergner model structure.

  • A study of cartesian fibrations and straightening / unstraightening, the $\infty$-categorical analog of the Grothendieck construction. This is often viewed as the technical heart of Lurie's theory, since cartesian fibrations are used systematically to avoid writing down all the higher coherence data involved in $qCat$-valued functors.

  • A development of the fundamental notions of category theory -- (co)limits, Kan extensions, cofinality, etc, allowing one to "do category theory" in the $\infty$-categorical setting.

  • A development of the theory of presentable $\infty$-categories. The point here is to get access to (the most important instances of) Freyd's adjoint functor theorem in the $\infty$-categorical setting, and in particular the theory of localizations.

  • The theory of (Grothendieck) $\infty$-toposes.

In the context of foundations, maybe it's worth also mentioning some of the contents of Higher Algebra:

  • The Barr-Beck monadicity theorem. I tend to think of this, along with the adjoint functor theorem as "the only real theorems" of basic ordinary category theory.

  • A theory of operads, allowing one to "do algebra" $\infty$-categorically.

  • The theory of stable $\infty$-categories, playing roughly the roles of abelian categories and triangulated categories in the $\infty$-categorical setting.

So where are we today in comparison? Well, this is going to be woefully inadequate, but let me mention a few things:

  • Emily Riehl and Dominic Verity rework the theory of cartesian fibrations, (co)limits / Kan extensions, and monadicity, in a model-independent framework making several advances:

    1. Their theory allows one to do all these things not just in the quasicategory model, but at the same time in, e.g. complete Segal spaces, along with several other models. Model comparison results show that corresponding notions in different models agree.

    2. Not only does one obtain the same same statements in these other models, but the proofs are now the same across all these different models.

    3. Not only are the proofs the same, but the definitions, theorems, and proofs for much of the theory are cast as natural adaptations of the corresponding notions in 1-category theory.

    There are pedagogical advantages -- if you know ordinary category theory, this makes $\infty$-category theory much more accessible today. There are technical advantages -- you can use results in many more models than just quasicategories. And there are philosophical advantages -- it's much more clear that the theory of $\infty$-categories is in some sense (1) unique, rather than model-dependent and (2) inevitable as a generalization of ordinary category theory. Their work is spread across a number of papers, but they are writing a book consolidating their approach.

  • Nguyen, Raptis, and Schrade have proven the general adjoint functor theorem in the $\infty$-cateogorical context, which in principle subsumes much of the theory of presentable $\infty$-categories. But the theory of presentable $\infty$-categories is still essential in its own right and I'm not sure to what extent one can simplify the theory with this result.

  • There have been various model comparison results, e.g. here.

  • There have been developments $(\infty,n)$-categories and in enriched $\infty$-categories.

  • There have been proposals for the theory of elementary $\infty$-toposes.

  • Fibered $\infty$-category theory.

  • Lots more. I hope others will add answers adding more of these / expanding on this glib treatment!

  • The study of $\infty$-categories is still in its infancy, and likely there are are many fundamental facts about them which will one day appear to be of foundational significance which we have at most glimpsed hints of today. I have in mind various facts about Goodwillie calculus...

  • $\begingroup$ I hope people will keep adding things, but one thing to mention is that Cisinki and Nguyen (perhaps still in progress? see his thesis and this) have made progress on simplifying the straightening-unstraightening construction, with the goal of performing it "internally" to the quasicategory model rather than passing back and forth with simplicial categories. $\endgroup$
    – Tim Campion
    Feb 10, 2021 at 18:42
  • $\begingroup$ I'll also point to a great simplification (at least for many purposes) which Rune Haugseng and Dylan Wilson pointed out to me of the technique developed in of HTT for decomposing (co)limit diagrams. $\endgroup$
    – Tim Campion
    Feb 10, 2021 at 18:46
  • 1
    $\begingroup$ There is also this new proof of the straightening equivalence by Hebestreit, Heuts and Ruit which is much shorter than the one in HTT. $\endgroup$
    – Vanni
    Dec 20, 2021 at 15:23
  • $\begingroup$ To follow up on this @TimCampion's earlier comment, Cisinski and Nguyen have released their fully quasi-categorical proof of straightening-unstraightening: arxiv.org/abs/2210.08945 $\endgroup$ Oct 31, 2022 at 13:29

A significant technical improvement has been found by J. Shah in the theory of Kan extensions. Unfortunately I do not know of an exposition that does only the classical case, but reading the proof of theorem 10.3 in

Jay Shah Parametrized higher category theory and higher algebra: Exposé II - Indexed homotopy limits and colimits

in the case $S=\Delta^0$ we can obtain a much simpler proof of the fact that left Kan extensions in ∞-categories can be computed pointwise if there exist enough colimits.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .