Effective Constructive Algebraic Topology - Institut Fourier
Effective Constructive Algebraic Topology - Institut Fourier
Effective Constructive Algebraic Topology - Institut Fourier
SHOW LESS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Analysis of the problem:<br />
“Standard” homological algebra is not constructive .<br />
Typical statement:<br />
Common translation:<br />
The sequence A α<br />
←− B β<br />
←− C is exact.<br />
(∀b ∈ B) [(α(b) = 0) ⇒ ( ∃c ∈ C st b = β(c))]<br />
with ∃c ∈ C most often non-constructive.<br />
20
Change language