categories - Category Theory list
 help / color / mirror / Atom feed
* Re: Query about Ab[C]
@ 2000-12-14 14:44 Peter Freyd
  0 siblings, 0 replies; 4+ messages in thread
From: Peter Freyd @ 2000-12-14 14:44 UTC (permalink / raw)
  To: categories

Bill Rowan asks if there is a simple characterization of those
categories  C  for which  Ab[C]  is abelian. I doubt if there can be
a useful necessary and sufficient condition.

A sufficient condition can be found on page 91 of Cats and Alligators,
to wit, that the category be effective regular (where "effective"
means that every equivalence relation is effective,i.e. it appears as
a pullback of a map against itself). Note that the conclusion
(abelian) is self-dual but the condition (effective regular) is not.

I'm pessimistic about a useful necessary and sufficient condition
because of the following: Let  C  be a category with cartesian squares
(needed to define abelian-group-object) such that  Ab[C]  is abelian. 
Let  C' be a full subcategory closed under cartesian squaring that 
contains the image of the forgetful functor from  Ab[C]  back to  C.
Then  Ab[C'] =  Ab[C]. An example of the sort of pathological 
categories to be found among such  C' is the category of all groups in
which the commutator subgroup is a product of a finite number of
simple groups each of which was described prior to 30 June 1973.



^ permalink raw reply	[flat|nested] 4+ messages in thread
* Query about Ab[C]
@ 2000-12-14  4:19 Bill Rowan
  2000-12-14 16:25 ` Dr. P.T. Johnstone
  2000-12-14 17:39 ` Michael Barr
  0 siblings, 2 replies; 4+ messages in thread
From: Bill Rowan @ 2000-12-14  4:19 UTC (permalink / raw)
  To: categories


Hi all,

Ab[C] is just my notation for the category of abelian group objects in
the category C.  I was wondering if there is a simple characterization of
those categories C for which Ab[C] is abelian.

Bill Rowan



^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2000-12-14 17:39 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-12-14 14:44 Query about Ab[C] Peter Freyd
  -- strict thread matches above, loose matches on Subject: below --
2000-12-14  4:19 Bill Rowan
2000-12-14 16:25 ` Dr. P.T. Johnstone
2000-12-14 17:39 ` 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).