BN.com Gift Guide

Higher Topos Theory (AM-170)

Hardcover (Print)
Not Available on BN.com
 

Overview

Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition into the twenty-first century as Princeton looks forward to publishing the major works of the new millennium.

To mark the continued success of the series, all books are again available in paperback. For a complete list of titles, please visit the Princeton University Press web site: press.Princeton. edu. The most recently published volumes include:

Read More Show Less

Editorial Reviews

Mathematical Reviews
This book is a remarkable achievement, and the reviewer thinks it marks the beginning of a major change in algebraic topology.
— Mark Hovey
Mathematical Reviews - Mark Hovey
This book is a remarkable achievement, and the reviewer thinks it marks the beginning of a major change in algebraic topology.
From the Publisher

"This book is a remarkable achievement, and the reviewer thinks it marks the beginning of a major change in algebraic topology."--Mark Hovey, Mathematical Reviews
Read More Show Less

Product Details

  • ISBN-13: 9780691140483
  • Publisher: Princeton University Press
  • Publication date: 7/6/2009
  • Series: Annals of Mathematics Studies Series
  • Pages: 960
  • Product dimensions: 6.10 (w) x 9.40 (h) x 2.10 (d)

Meet the Author


Jacob Lurie is associate professor of mathematics at Massachusetts Institute of Technology.
Read More Show Less

Read an Excerpt

Higher Topos Theory


By Jacob Lurie

PRINCETON UNIVERSITY PRESS

Copyright © 2009 Princeton University Press
All right reserved.

ISBN: 978-0-691-14049-0


Chapter One

An Overview of Higher Category Theory

This chapter is intended as a general introduction to higher category theory. We begin with what we feel is the most intuitive approach to the subject using topological categories. This approach is easy to understand but difficult to work with when one wishes to perform even simple categorical constructions. As a remedy, we will introduce the more suitable formalism of [infinity]-categories (called weak Kan complexes in [10] and quasi-categories in [43]), which provides a more convenient setting for adaptations of sophisticated category-theoretic ideas. Our goal in 1.1.1 is to introduce both approaches and to explain why they are equivalent to one another. The proof of this equivalence will rely on a crucial result (Theorem 1.1.5.13) which we will prove in 2.2.

Our second objective in this chapter is to give the reader an idea of how to work with the formalism of [infinity]-categories. In 1.2, we will establish a vocabulary which includes [infinity]-categorical analogues (often direct generalizations) of most of the important concepts from ordinary category theory. To keep the exposition brisk, we will postpone the more difficult proofs until later chapters of this book. Our hope is that, after reading this chapter, a reader who does not wish to be burdened with the details will be able to understand (at least in outline) some of the more conceptual ideas described in Chapter 5 and beyond.

1.1 FOUNDATIONS FOR HIGHER CATEGORY THEORY

1.1.1 Goals and Obstacles

Recall that a category C consists of the following data:

(1) A collection {X,Y,Z, ...} whose members are the objects of ITLITL. We typically write X [member of] ITLITL to indicate that X is an object of ITLITL.

(2) For every pair of objects X, Y [member of] ITLITL, a set [Hom.sub.ITLITL](X, Y) of morphisms from X to Y. We will typically write f : X [right arrow] Y to indicate that f [member of] [Hom.sub.ITLITL](X, Y) and say that f is a morphism from X to Y.

(3) For every object X [member of] ITLITL, an identity morphism [id.sub.X] [member of] [Hom.sub.ITLITL](X,X).

(4) For every triple of objects X, Y, Z [member of] ITLITL, a composition map

[Hom.sub.ITLITL](X, Y) x [Hom.sub.ITLITL](Y,Z) [right arrow] [Hom.sub.ITLITL](X,Z).

Given morphisms f : X [right arrow] Y and g : Y [right arrow] Z, we will usually denote the image of the pair (f, g) under the composition map by gf or g [??] f.

These data are furthermore required to satisfy the following conditions, which guarantee that composition is unital and associative:

(5) For every morphism f : X [right arrow] Y, we have [id.sub.Y] [??]f = f = f [??] [id.sub.X] in [Hom.sub.ITLITL](X, Y).

(6) For every triple of composable morphisms

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

we have an equality h [??] (g [??] f) = (h [??] g) [??] f in [Hom.sub.ITLITL](W, Z).

The theory of categories has proven to be a valuable organization tool in many areas of mathematics. Mathematical structures of virtually any type can be viewed as the objects of a suitable category ITLITL, where the morphisms in C are given by structure-preserving maps. There is a veritable legion of examples of categories which fit this paradigm:

The category Set whose objects are sets and whose morphisms are maps of sets.

The category Grp whose objects are groups and whose morphisms are group homomorphisms.

The category Top whose objects are topological spaces and whose morphisms are continuous maps.

The category Cat whose objects are (small) categories and whose morphisms are functors. (Recall that a functor F from ITLITL to D is a map which assigns to each object ITLITL [member of] ITLITL another object FC [member of] D, and to each morphism f : ITLITL [right arrow] ITLITL' in ITLITL a morphism F(f) : FC [right arrow] FC' in D, so that F([id.sub.ITLITL]) = [id.sub.FC] and F(g [??] f) = F(g) [??] F(f).)

???

In general, the existence of a morphism f : X [right arrow] Y in a category ITLITL reflects some relationship that exists between the objects X, Y [member of] ITLITL. In some contexts, these relationships themselves become basic objects of study and can be fruitfully organized into categories:

Example 1.1.1.1. Let Grp be the category whose objects are groups and whose morphisms are group homomorphisms. In the theory of groups, one is often concerned only with group homomorphisms up to conjugacy. The relation of conjugacy can be encoded as follows: for every pair of groups G,H [member of] Grp, there is a category Map(G,H) whose objects are group homomorphisms from G to H (that is, elements of [Hom.sub.Grp](G,H)), where a morphism from f : G [right arrow] H to f' : G [right arrow] H is an element h [member of] H such that hf(g)[h.sup.-1] = f'(g) for all g [member of] G. Note that two group homomorphisms f, f' : G [right arrow] H are conjugate if and only if they are isomorphic when viewed as objects of Map(G,H).

Example 1.1.1.2. Let X and Y be topological spaces and let [f.sub.0], [f.sub.1] : X [right arrow] Y be continuous maps. Recall that a homotopy from [f.sub.0] to [f.sub.1] is a continuous map f : X x [0, 1] [right arrow] Y such that f|X x {0} coincides with [f.sub.0] and f|X x {1} coincides with [f.sub.1]. In algebraic topology, one is often concerned not with the category Top of topological spaces but with its homotopy category: that is, the category obtained by identifying those pairs of morphisms [f.sub.0], [f.sub.1] : X [right arrow] Y which are homotopic to one another. For many purposes, it is better to do something a little bit more sophisticated: namely, one can form a category Map(X, Y) whose objects are continuous maps f : X [right arrow] Y and whose morphisms are given by (homotopy classes of) homotopies.

Example 1.1.1.3. Given a pair of categories ITLITL and D, the collection of all functors from ITLITL to D is itself naturally organized into a category Fun(C,D), where the morphisms are given by natural transformations. (Recall that, given a pair of functors F,G : ITLITL [right arrow] D, a natural transformation [alpha] : F [right arrow] G is a collection of morphisms [{[[alpha].sub.ITLITL] : F(ITLITL) [right arrow] G(ITLITL)}.sub.ITLITL [member of] ITLITL] which satisfy the following condition: for every morphism f : ITLITL [right arrow] C' in ITLITL, the diagram

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

commutes in D.)

In each of these examples, the objects of interest can naturally be organized into what is called a 2-category (or bicategory): we have not only a collection of objects and a notion of morphisms between objects but also a notion of morphisms between morphisms, which are called 2-morphisms. The vision of higher category theory is that there should exist a good notion of n-category for all n [greater than or equal to] = 0 in which we have not only objects, morphisms, and 2-morphisms but also k-morphisms for all k [less than or equal to] = n. Finally, in some sort of limit we might hope to obtain a theory of [infinity]-categories, where there are morphisms of all orders.

Example 1.1.1.4. Let X be a topological space and 0 [less than or equal to] n [less than or equal to] [infinity]. We can extract an n-category [pi] [less than or equal to] [sub.n]X (roughly) as follows. The objects of [pi] [less than or equal to] [sub.n]X are the points of X. If x, y [member of] X, then the morphisms from x to y in [pi] [less than or equal to] [sub.n]X are given by continuous paths [0, 1] [right arrow] X starting at x and ending at y. The 2-morphisms are given by homotopies of paths, the 3-morphisms by homotopies between homotopies, and so forth. Finally, if n < [infinity], then two n-morphisms of [pi] [less than or equal to] [sub.n]X are considered to be the same if and only if they are homotopic to one another.

If n = 0, then [pi] [less than or equal to] [sub.n]X can be identified with the set [pi][sub.0]X of path components of X. If n = 1, then our definition of [pi] [less than or equal to] [sub.n]X agrees with the usual definition for the fundamental groupoid of X. For this reason, [pi] [less than or equal to] [sub.n]X is often called the fundamental n-groupoid of X. It is called an n-groupoid (rather than a mere n-category) because every k-morphism of [[pi].sub.[less than or equal to] [sub.k]]X has an inverse (at least up to homotopy).

There are many approaches to realizing the theory of higher categories. We might begin by defining a 2-category to be a "category enriched over ITLITLat." In other words, we consider a collection of objects together with a category of morphisms Hom(A,B) for any two objects A and B and composition functors [[c.sub.ABC] x Hom(A,B) x Hom(B,C) [right arrow] Hom(A,C) (to simplify the discussion, we will ignore identity morphisms for a moment). These functors are required to satisfy an associative law, which asserts that for any quadruple (A,B,C,D) of objects, the diagram

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

commutes; in other words, one has an equality of functors

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

from Hom(A,B) x Hom(B,C) x Hom(C,D) to Hom(A,D). This leads to the definition of a strict 2-category.

At this point, we should object that the definition of a strict 2-category violates one of the basic philosophical principles of category theory: one should never demand that two functors F and F' be equal to one another. Instead one should postulate the existence of a natural isomorphism between F and F'. This means that the associative law should not take the form of an equation but of additional structure: a collection of isomorphisms [[gamma.sub.[ABCD] : [C.sub.ACD] [??]([c.sub.ABC] x 1) [equivalent] [c.sub.ABD] [??](1 x [c.sub.BCD]). We should further demand that the isomorphisms [[gamma.sub.[ABCD] be functorial in the quadruple (A,B,C,D) and satisfy certain higher associativity conditions, which generalize the "Pentagon axiom" described in A.1.3. After formulating the appropriate conditions, we arrive at the definition of a weak 2-category.

Let us contrast the notions of strict 2-category and weak 2-category. The former is easier to define because we do not have to worry about the higher associativity conditions satisfied by the transformations [[gamma].sub.ABCD]. On the other hand, the latter notion seems more natural if we take the philosophy of category theory seriously. In this case, we happen to be lucky: the notions of strict 2-category and weak 2-category turn out to be equivalent. More precisely, any weak 2-category is equivalent (in the relevant sense) to a strict 2-category. The choice of definition can therefore be regarded as a question of aesthetics.

We now plunge onward to 3-categories. Following the above program, we might define a strict 3-category to consist of a collection of objects together with strict 2-categories Hom(A,B) for any pair of objects A and B, together with a strictly associative composition law. Alternatively, we could seek a definition of weak 3-category by allowing Hom(A,B) to be a weak 2-category, requiring associativity only up to natural 2-isomorphisms, which satisfy higher associativity laws up to natural 3-isomorphisms, which in turn satisfy still higher associativity laws of their own. Unfortunately, it turns out that these notions are not equivalent.

Both of these approaches have serious drawbacks. The obvious problem with weak 3-categories is that an explicit definition is extremely complicated (see [33], where a definition is given along these lines), to the point where it is essentially unusable. On the other hand, strict 3-categories have the problem of not being the correct notion: most of the weak 3-categories which occur in nature are not equivalent to strict 3-categories. For example, the fundamental 3-groupoid of the 2-sphere [S.sup.2] cannot be described using the language of strict 3-categories. The situation only gets worse (from either point of view) as we pass to 4-categories and beyond.

Fortunately, it turns out that major simplifications can be introduced if we are willing to restrict our attention to [infinity]-categories in which most of the higher morphisms are invertible. From this point forward, we will use the term ([infinity], n)-category to refer to [infinity]-categories in which all k-morphisms are invertible for k > n. The [infinity]-categories described in Example 1.1.1.4 (when n = [infinity]) are all ([infinity], 0)-categories. The converse, which asserts that every ([infinity], 0)-category has the form [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] for some topological space X, is a generally accepted principle of higher category theory. Moreover, the [infinity]-groupoid [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] encodes the entire homotopy type of X. In other words, ([infinity], 0)-categories (that is, [infinity]-categories in which all morphisms are invertible) have been extensively studied from another point of view: they are essentially the same thing as "spaces" in the sense of homotopy theory, and there are many equivalent ways to describe them (for example, we can use CW complexes or simplicial sets).

Convention 1.1.1.5. We will sometimes refer to ([infinity], 0)-categories as [infinity]-groupoids and ([infinity], 2)-categories as [infinity]-bicategories. Unless we specify otherwise, the generic term "[infinity]-category" will refer to an ([infinity], 1)-category.

In this book, we will restrict our attention almost entirely to the theory of [infinity]-categories (in which we have only invertible n-morphisms for n [greater than or equal to] 2). Our reasons are threefold:

(1) Allowing noninvertible n-morphisms for n > 1 introduces a number of additional complications to the theory at both technical and conceptual levels. As we will see throughout this book, many ideas from category theory generalize to the [infinity]-categorical setting in a natural way. However, these generalizations are not so straightforward if we allow noninvertible 2-morphisms. For example, one must distinguish between strict and lax fiber products, even in the setting of "classical" 2-categories.

(2) For the applications studied in this book, we will not need to consider ([infinity], n)-categories for n > 2. The case n = 2 is of some relevance because the collection of (small) [infinity]-categories can naturally be viewed as a (large) [infinity]-bicategory. However, we will generally be able to exploit this structure in an ad hoc manner without developing any general theory of [infinity]-bicategories.

(Continues...)



Excerpted from Higher Topos Theory by Jacob Lurie Copyright © 2009 by Princeton University Press. Excerpted by permission.
All rights reserved. No part of this excerpt may be reproduced or reprinted without permission in writing from the publisher.
Excerpts are provided by Dial-A-Book Inc. solely for the personal use of visitors to this web site.

Read More Show Less

Table of Contents

Preface vii

Chapter 1 An Overview of Higher Category Theory 1

1.1 Foundations for Higher Category Theory 1

1.2 The Language of Higher Category Theory 26

Chapter 2 Fibrations of Simplicial Sets 53

2.1 Left Fibrations 55

2.2 Simplicial Categories and &infinity;-Categories 72

2.3 Inner Fibrations 95

2.4 Cartesian Fibrations 114

Chapter 3 The &infinity;-Category of &infinity;-Categories 145

3.1 Marked Simplicial Sets 147

3.2 Straightening and Unstraightening 169

3.3 Applications 204

Chapter 4 Limits and Colimits 223

4.1 Cofinality 223

4.2 Techniques for Computing Colimits 240

4.3 Kan Extensions 261

4.4 Examples of Colimits 292

Chapter 5 Presentable and Accessible &infinity;-Categories 311

5.1 &infinity;-Categories of Presheaves 312

5.2 Adjoint Functors 331

5.3 &infinity;-Categories of Inductive Limits 377

5.4 Accessible &infinity;-Categories 414

5.5 Presentable &infinity;-Categories 455

Chapter 6 &infinity;-Topoi 526

6.1 &infinity;-Topoi: Definitions and Characterizations 527

6.2 Constructions of &infinity;-Topoi 569

6.3 The &infinity;-Category of &infinity;-Topoi 593

6.4 &infinity;-Topoi 632

6.5 Homotopy Theory in an &infinity;-Topos 651

Chapter 7 Higher Topos Theory in Topology 682

7.1 Paracompact Spaces 683

7.2 Dimension Theory 711

7.3 The Proper Base Change Theorem 742

Appendix 781

A.1 Category Theory 781

A.2 Model Categories 803

A.3 Simplicial Categories 844

Bibliography 909

General Index 915

Index of Notation 923

Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star

(0)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

Your Rating:

Your Name: Create a Pen Name or

Barnes & Noble.com Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & Noble.com that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & Noble.com does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at BN.com or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation

Reminder:

  • - By submitting a review, you grant to Barnes & Noble.com and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Noble.com Terms of Use.
  • - Barnes & Noble.com reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & Noble.com also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on BN.com. It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

 
Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)