Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

June 7, 2014

Categorical Homotopy Theory

Posted by Emily Riehl

In my first year at Harvard, I had an opportunity to teach a graduate-level topics course entitled “Categorical Homotopy Theory.” Its aim was to highlight areas in which category theoretic abstractions provide a particularly valuable insight into classical homotopy theoretic constructions. Over the course of the semester I gave lectures that focused on homotopy limits and colimits, enriched category theory, model categories, and quasi-categories.

In hopes that attendees would be able to drop in and out without feeling totally lost, I decided to write lecture notes. And now they have just been published by Cambridge University Press as an actual physical book and also as an ebook (or so I’m told).

graphs

One of the wonderful things about working with CUP is that they have given me permission to host a free PDF copy of the book on my website. At the moment, this is the pre-copyedited version. There is an extra section missing from chapter 14 and various minor changes made throughout. In a few years time, I’ll be able to post the actual published version.

So what’s in the book? Part I tells a story I learned from a really fantastic paper written by Mike Shulman. It introduces a particular model for the homotopy limit and colimit functors associated to diagrams of any shape with which it is easy to prove their global universal property (as point-set level derived functors) and their local universal property (representing “homotopy coherent cones”). The proof makes use of an independently useful observation of Dwyer-Kan-Hirschhorn-Smith that full model structures are not necessary to define derived functors. In this case, this means that we don’t need to establish model structures on the diagram categories.

Our particular model for homotopy colimits is first defined via the two-sided bar construction, but it is later re-expressed as a weighted colimit, from which viewpoint it is recognizable as the Bousfield-Kan formula. This emphasis might be slightly unusual — a homotopy limit or colimit is something that is weakly equivalent to a particular ur-model — but I think it can be valuable. A number of homotopical theorems have an up-to-isomorphism component, which can be easier to understand. (For instance, the left adjoint of a simplicial Quillen adjunction preserves homotopy colimits, as weighted colimits.)

Part II continues with the study of enriched homotopy theory. We show that the total derived functors of simplicially enriched functors between simplicial model categories are enriched over the homotopy category of spaces. I like to think of this derived enrichment as a proxy for the “homotopical correctness” of the functors. There is also a chapter giving a fairly detailed introduction to weighted limits and colimits, which (unsurprisingly) turn out to be the key categorical tool used in proofs throughout the manuscript.

Part III finally turns focus to Quillen’s model categories, which are black boxed in the first half of the book as good settings in which to implement the Dwyer-Kan-Hirschhorn-Smith axiomatization. Given the wealth of excellent textbooks and surveys on the topic, this section isn’t meant to serve as a comprehensive introduction to model categories. For instance, I say very little about the construction of the homotopy category of a model category. Instead, I develop the theory of weak factorization systems leading up to André Joyal’s definition of a model category: a model category is a homotopical category equipped with classes of cofibrations and fibrations that combine with the weak equivalences to define a pair of weak factorization systems.

As won’t surprise anyone familiar with my thesis work, I spend a fair amount of time discussing the small object argument, both in its original form and in its modern algebraic variant, due to Richard Garner. I then segue into the enriched small object argument and its accompanying enriched weak factorization systems. This definition, which is the obvious enrichment of the usual notion, isn’t well-known, but I think it is interesting. The weak factorization systems in any simplicial model category are automatically enriched. (This is true more generally for any VV-model category in which tensoring with an object of VV defines a left Quillen functor.) Equally interesting is when this does not hold: for instance, for Quillen’s model structure on the category of chain complexes over a ring admitting non-projective modules. In this case it is most productive to think about enrichment over the category of modules (not thought of as a model category). Surprisingly, the usual generating cofibrations and trivial cofibrations for the Quillen model structure also generate the Hurewicz model structure, when we interpret “cofibrant generation” in a non-enriched sense. Some of the details can be found here.

Part III closes with a chapter of Reedy categories that describes a small part of a joint paper with Dominic Verity, connects these ideas to the Bousfield-Kan approach to localizations and completions of spaces, and closes up some loose ends from earlier in the book

The final part is about quasi-categories. My aim here, given the location of the course, was to overlap as little as possible with Higher Topos Theory and so avoid boring Jacob’s students. The first chapter focuses on the construction of and comparison between various models of mapping spaces between vertices in a quasi-category, explaining why quasi-categories are (,1)(\infty,1)-categories. A second chapter discusses simplicial categories, which provide an important source of examples of quasi-categories, and homotopy coherence.

I then study isomorphisms in quasi-categories, by which I mean 1-simplices that become invertible in the homotopy category of a quasi-category. These are usually called equivalences, but I think this terminology is better. There’s no possibility of confusing with any stricter notion, and it allows for weaker notions of equivalence, which might be of interest for constructing localizations or the like. The final chapter is a very glancing preview of joint with work Dom on the 2-category theory of quasi-categories and its sequels.

For those who are curious, here is the table of contents. Should you happen to read any of this, I hope you enjoy it!

Part I. Derived functors and homotopy (co)limits

  • Chapter 1. All concepts are Kan extensions

  • Chapter 2. Derived functors via deformations

  • Chapter 3. Basic concepts of enriched category theory

  • Chapter 4. The unreasonably effective (co)bar construction

  • Chapter 5. Homotopy limits and colimits: the theory

  • Chapter 6. Homotopy limits and colimits: the practice

Part II. Enriched homotopy theory

  • Chapter 7. Weighted limits and colimits

  • Chapter 8. Categorical tools for homotopy (co)limit computations

  • Chapter 9. Weighted homotopy limits and colimits

  • Chapter 10. Derived enrichment

Part III. Model categories and weak factorization systems

  • Chapter 11. Weak factorization systems in model categories

  • Chapter 12. Algebraic perspectives on the small object argument

  • Chapter 13. Enriched factorizations and enriched lifting properties

  • Chapter 14. A brief tour of Reedy category theory

Part IV. Quasi-categories

  • Chapter 15. Preliminaries on quasi-categories

  • Chapter 16. Simplicial categories and homotopy coherence

  • Chapter 17. Isomorphisms in quasi-categories

  • Chapter 18. A sampling of 2-categorical aspects of quasi-category theory

Posted at June 7, 2014 8:22 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2747

7 Comments & 0 Trackbacks

Re: Categorical Homotopy Theory

Congratulations! What a superb feeling to be able to hold the book in your hand. I assume that hand is yours — the reflection in the cover isn’t clear enough to tell, and the phone’s blocking the view of whoever-it-is’s face.

And congratulations too on arranging with CUP to make the book freely available. Anyone reading this who’s thinking of writing a book should strongly consider CUP; they have an excellent track record of allowing free online versions (perhaps most famously with Allen Hatcher’s topology text).

Posted by: Tom Leinster on June 7, 2014 10:17 PM | Permalink | Reply to this

Re: Categorical Homotopy Theory

Anyone reading this who’s thinking of writing a book should strongly consider CUP; they have an excellent track record of allowing free online versions (perhaps most famously with Allen Hatcher’s topology text).

And yours too of course :)

Posted by: Emily Riehl on June 8, 2014 1:42 AM | Permalink | Reply to this

Re: Categorical Homotopy Theory

This looks really good. Congrats to you, Emily! And thank you for taking the sensible option regarding the freely available copy.

Posted by: David Roberts on June 10, 2014 8:42 AM | Permalink | Reply to this

Re: Categorical Homotopy Theory

This looks like a great resource!

The book is £65 at the moment in the UK, which is quite expensive — do you know if it will get cheaper? In particular, will a paperback version become available?

Posted by: Jamie Vicary on June 13, 2014 8:59 PM | Permalink | Reply to this

Re: Categorical Homotopy Theory

My sincere congratulations, Emily.

Besides, I have to note that this book has wholly changed my perspective on categorical approach to homotopy theory, so that model categories are not central to it anymore! (As they were not to the classics of the field, perhaps) I must say, now I easily recommend your book to anyone willing to learn about homotopical algebra.

And the last quasicat-chapters are nice as well!

Posted by: Eduard Balzin on June 17, 2014 3:44 PM | Permalink | Reply to this

Re: Categorical Homotopy Theory

Congratulations Emily!

The course was great and now I look stuff up in the book all the time.

Posted by: Omar Antolín Camarena on June 18, 2014 5:15 AM | Permalink | Reply to this

Re: Categorical Homotopy Theory

Congratulations Emily!

The course was great and now I look stuff up in the book all the time.

Posted by: Omar Antolín Camarena on June 18, 2014 5:16 AM | Permalink | Reply to this

Post a New Comment