- 153

- 0

## Main Question or Discussion Point

I wasn't sure where to put this question. Sorry if it's in the wrong place.

I'm trying to read a paper by Hovey on model categories, so I turned to his book, Model Categories. Given a category, he gives the definition in terms certain morphisms called weak equivalences, fibrations and cofibrations.

A weak a equivalence is a morphism that becomes an iso when passed to the homotopy category. And I know the topological defintions of (co)fibrations.

Is there a categorical definition of fibration and cofibration? Or should I take them as undefined terms subject the axioms of a model category? I've even thought about constructing the category of CW-complexes, letting my weak equivalences be weak homotopies, and fibrations and cofibrations be the topological versions. Then try to see what the (co)fibrations do categorically speaking.

I'm trying to read a paper by Hovey on model categories, so I turned to his book, Model Categories. Given a category, he gives the definition in terms certain morphisms called weak equivalences, fibrations and cofibrations.

A weak a equivalence is a morphism that becomes an iso when passed to the homotopy category. And I know the topological defintions of (co)fibrations.

Is there a categorical definition of fibration and cofibration? Or should I take them as undefined terms subject the axioms of a model category? I've even thought about constructing the category of CW-complexes, letting my weak equivalences be weak homotopies, and fibrations and cofibrations be the topological versions. Then try to see what the (co)fibrations do categorically speaking.