Constructively, is the unit of the “free abelian group” monad on sets injective? – mathoverflow.net

Constructively, is the unit of the “free abelian group” monad on sets injective? – mathoverflow.net

02:48 No Comments
Classically, we can explicitly construct the free Abelian group $\newcommand{\Z}{\mathbb{Z}}\Z[X]$ on a set $X$ as the set of finitely-supported functions $X \to \Z$, and so easily see that the unit ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

Artikel Terkait

0 Comment to "Constructively, is the unit of the “free abelian group” monad on sets injective? – mathoverflow.net"

Post a Comment

Subscribe to: Post Comments (Atom)