55U35 - Algebraic topology :: Applied homological algebra and category theory :: Abstract and axiomatic homotopy theory