Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 473

A model category is a category equipped with notions of weak equivalences, fibrations and cofibrations allowing to run arguments similar to those of classical homotopy theory.

22 votes

Homotopy pullbacks and homotopy pushouts

Here's a simple geometric example for a homotopy pushout. This is stolen from the Dwyer-Spalinski paper on model categories. We first look at the following diagram: pt <-- S^1 --> pt. The pushout of …
Timo Schürg's user avatar
  • 3,917
65 votes

How to think about model categories?

Here's a bit of the historical reason why model categories came up. If you have a functor on an abelian category which doesn't quite behave as you would like it to, e.g. is not left exact, there is a …
Timo Schürg's user avatar
  • 3,917