In constructive mathematics, why does the category of abelian groups fail to be abelian? – mathoverflow.net

In constructive mathematics, why does the category of abelian groups fail to be abelian? – mathoverflow.net

19:07 No Comments
I was reading the paper Towards Constructive Homological Algebra in Type Theory by Thierry Coquand and Arnaud Spiwack, and they state that constructively, the category of abelian groups fails to be ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

Artikel Terkait

0 Comment to "In constructive mathematics, why does the category of abelian groups fail to be abelian? – mathoverflow.net"

Post a Comment

Subscribe to: Post Comments (Atom)