From: Nikita Danilov <Nikita@Namesys.COM>
To: categories@mta.ca
Subject: Re: connected categories and epimorphisms.
Date: Tue, 20 May 2003 13:13:04 +0400 [thread overview]
Message-ID: <16073.61856.465785.65278@laputa.namesys.com> (raw)
In-Reply-To: <200305181819.h4IIJIgU022776@saul.cis.upenn.edu>
Peter Freyd writes:
> The quickest natural example I know of a connected category in which
> projections from products needn't be epi is the category of
> commutative rings. Well, actually, the opposite category. The
> coproduct of Z_2 and Z_3 is the terminal ring. The two
> co-projections fail to be monic (the coproduct of a pair of objects in
> this category is their tensor product).
>
It is interesting that construction of the coproduct in the category of
"just" rings (associative, unitary, but not necessary commutative) is
not easy to find in the literature.
It seems, however, that it is relatively easy to construct: for given
rings R1 and R2, let M1 and M2 be their multiplicative monoids and M be
coproduct of M1 and M2 in the category of monoids. Form monoid ring of M
over Z. That is, form free abelian group generated by underlying set of
M and extend multiplication from generators by distributivity. Let's
call resulting ring G. Let K be ideal in G generated by all elements of
the form
(A + B) - A - B,
where both A and B belong to the same ring: either R1 or R2. That is, in
((A + B) - A - B) "+" is addition in R1 or R2, and "-" is subtraction in
G.
Now, quotient G/K is a coproduct of R1 and R2 in the category of rings, which
is easy to prove using universal properties of coproduct M, monoid ring G, and
epicness of the projection G ->> G/K.
Is there more "direct" description of coproduct in the category of rings?
>
>
Nikita.
next prev parent reply other threads:[~2003-05-20 9:13 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-05-18 18:19 Peter Freyd
2003-05-20 9:13 ` Nikita Danilov [this message]
-- strict thread matches above, loose matches on Subject: below --
2003-05-16 19:41 Flavio Leonardo Cavalcanti de Moura
2003-05-18 17:45 ` Robin Cockett
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=16073.61856.465785.65278@laputa.namesys.com \
--to=nikita@namesys.com \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).