From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3674
Path: news.gmane.org!not-for-mail
From: Flinton@wesleyan.edu
Newsgroups: gmane.science.mathematics.categories
Subject: Re: epic monics
Date: Wed, 7 Mar 2007 13:45:56 -0500 (EST)
Message-ID: <E1HP5a4-0003nM-S3@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 8bit
X-Trace: ger.gmane.org 1241019448 9726 80.91.229.2 (29 Apr 2009 15:37:28 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:37:28 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Wed Mar  7 19:30:47 2007 -0400
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Wed, 07 Mar 2007 19:30:47 -0400
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61)
	(envelope-from <cat-dist@mta.ca>)
	id 1HP5a4-0003nM-S3
	for categories-list@mta.ca; Wed, 07 Mar 2007 19:30:01 -0400
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 28
Original-Lines: 32
Xref: news.gmane.org gmane.science.mathematics.categories:3674
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/3674>

For David <dkarapetyan@ucdavis.edu> Karapetyan, who asked,

> ... the inclusion function of
> N into Z provides a counterexample [to] every epic arrow being a
> surjective function. I noticed that N is just a "folded" version of Z,
> where by "folded" I mean take Z and throw away all the inverses of the
> natural numbers. So does every monic, epic arrow determine such a
> "folding" or are there monic, epics that can't be characterized in such
> a way?

let me offer two further examples of monic epic arrows, not surjective
(and both pretty standard):

1) in Hausdorff topological spaces, the inclusion of the rationals
 in the reals;

2) in boolean rngs (i.e., units not required, and not necessarily
preserved when present) with countable intersections, and boolean
homomorphisms preserving those intersections, the inclusion of the
boolean rng of finite subsets of N in the whole power-set of N
(this is epic because boolean homomorphisms (between such boolean rngs)
that preserve countable intersections will also preserve whatever
countable joins may be available, and every subset of N is the join
of all its finite subsets).

Does your "folding" insight still stand up? Or must it be modified?

-- Fred Linton