* Is this known?
@ 2014-06-03 15:36 Michael Barr
0 siblings, 0 replies; only message in thread
From: Michael Barr @ 2014-06-03 15:36 UTC (permalink / raw)
To: Categories list
In the course of certain studies on commutative rings, we needed the
following result (to be sure, for ideals, not congruences):
Let \Csc be a regular category and $f:A\to B$ an epimorphism in
\Csc. Suppose $E_1$ and $E_2$ are congruences on $B$ with $D_1$ and
$D_2$ their inverse images under $f\x f$. If the induced $A/D_1\to
B/E_1$ is an isomorphism and $D_1\inc D_2$, then $E_1\inc E_2$
Michael
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-06-03 15:36 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-06-03 15:36 Is this known? Michael Barr
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).