Mathematics
2 years ago

New Proofs Reveal Constructive Model Structure for Simplified Data Representation.

The Quarterly Journal of Mathematics
The Constructive Kan–Quillen Model Structure: Two New Proofs
Nicola Gambino, Christian Sattler, Karol Szumiło

Paper Summary

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. Additionally, the article provides new constructive proofs that the model structure is both left and right proper.

Related papers

Theme background image
Social Sciences
9 months ago

Unlocking the Potential of Social Partnerships to Elevate Future Educators

Universities Impact
Digital Transformation
Entrepreneurship
13 views
Theme background image
Computer Science
8 years ago

Revolutionizing program synthesis: transforming proofs for specialized solutions.

Program Verification
Formal Methods
Software Testing
1 view
Theme background image
Mathematics
2 years ago

New Proofs Reveal Constructive Model Structure for Simplified Data Representation.

Deformation Quantization
Hom-Lie Algebras
Topological Data Analysis
1 view