* Re: Re: monic epics
@ 2007-03-08 15:13 Charles Wells
0 siblings, 0 replies; only message in thread
From: Charles Wells @ 2007-03-08 15:13 UTC (permalink / raw)
To: categories
It seems to me that Isbell's notion of "dominions" are something like a
precise way of saying "a complete set of generators" for the case of
epimorphisms in Cat. Look at "Epimorphisms and Dominions III" by John
Isbell, American Journal of Mathematics, 1968. That paper has
references to earlier papers about the case for semigroups and other
categories.
Charles Wells
> ok i got it. in all the examples given the subobjects given by the
> monics are "generators" for the object, where by "generators" i mean the
> elements of the subobject in some way determine the elements of the
> bigger object. so how about this then: any time we have the situation
> described above the monic arrow will also be epic.
>
>
--
Charles Wells
abstract math website: http://www.abstractmath.org/MM//MMIntro.htm
professional website: http://www.cwru.edu/artsci/math/wells/home.html
personal website: http://www.abstractmath.org/Personal/index.html
genealogical website: http://familytreemaker.genealogy.com/users/w/e/l/Charles-Wells/
NE Ohio Sacred Harp website: http://www.abstractmath.org/fasola/index.html
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2007-03-08 15:13 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-03-08 15:13 Re: monic epics Charles Wells
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).