Effective Constructive Algebraic Topology - Institut Fourier
Effective Constructive Algebraic Topology - Institut Fourier
Effective Constructive Algebraic Topology - Institut Fourier
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Constructive</strong> exactness:<br />
A α<br />
←− B β<br />
←− C constructively exact<br />
if an algorithm ρ : ker α → C is given satisfying:<br />
A B C<br />
0 ker α<br />
⇒ Organizational algebraic problems:<br />
α<br />
β<br />
=<br />
ρ?<br />
pr<br />
0 Z/2Z Z<br />
where ρ cannot be a group homomorphism.<br />
ρ?<br />
21