Teisi in .
The category of long exact sequences and the homotopy exact sequence of modules.
The equivalence of -groupoids and crossed complexes
The homotopy category of chain complexes is a homotopy category
The left derived tensor product of valued diagrams
The split building of a reductive group.
Théorie de Schreier supérieure
T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type.