All Questions
1 question
4
votes
1
answer
475
views
de Rham's Theorem using atlases and colimit preservation
$\DeclareMathOperator\DR{DR}\newcommand\SmoothManifold{\mathrm{SmoothManifold}}\newcommand\ChainComplexes{\mathrm{ChainComplexes}}\DeclareMathOperator\Sing{Sing}\newcommand\DifferentialGradedRAlgebras{...
user531303