Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Informal writeup of the proof that group homomorphisms are epi iff su…
…rjective (#726) This PR only adds an informal writeup of a proof that a group homomorphism is surjective iff it is an epi. A proof without excluded middle can be given using the theory of acyclic maps, which I'm still working on with Ulrik and Tom. I thought that the writeup could still be worthwhile to have on our website. --------- Co-authored-by: Fredrik Bakke <fredrbak@gmail.com>
- Loading branch information
1 parent
ae739e9
commit c4334d2
Showing
1 changed file
with
52 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters