Spahn HTT, A.2 model categories (Rev #1, changes)

Showing changes from revision #0 to #1: Added | ~~Removed~~ | ~~Chan~~ged

Contents

A.2.1 The model category axioms
A.2.2 The homotopy category of a model category
A.2.3 A lifting criterion
A.2.4 Left properness and homotopy push out squares
A.2.5 Quillen adjunctions and Quillen equivalences
A.2.6 Combinatorial model categories
A.2.7 Simplicial sets
A.2.8 Diagram categories and homotopy colimits

A.2.1 The model category axioms

Definition A.2.1.1

A.2.2 The homotopy category of a model category

Definition A.2.2.1

A.2.3 A lifting criterion

A.2.4 Left properness and homotopy push out squares

A.2.5 Quillen adjunctions and Quillen equivalences

A.2.6 Combinatorial model categories

Definition A.2.6.1

Proposition A.2.6.13

A.2.7 Simplicial sets

A.2.8 Diagram categories and homotopy colimits

Definition A.2.8.1

Proposition A.2.8.2

Remark A.2.8.6

Proposition A.2.8.7

Remark A.2.8.8

Proposition A.2.8.9

Remark A.2.8.11

Revision on June 23, 2012 at 12:40:05 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.