호모토피 동치분해와 유일성