Tezde öncelikle W ile DiagN funktorları tanımlanmıştır. Daha sonra E bir simplisel R-cebir olmak üzere simplisel homotopi tanımları kullanılarak DiagNE ile WE nin simplisel homotopi denk olduğu hatta WE nin DiagNE nin ...