New proofs reveal groundbreaking model structure for simplicial sets.
The article presents two new proofs showing that simplicial sets have a constructive version of the Kan-Quillen model structure. These proofs are self-contained and do not rely on complicated combinatorial arguments. The researchers also provide new constructive proofs that the model structure is both left and right proper.
