From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4319 Path: news.gmane.org!not-for-mail From: "Katsov, Yefim" Newsgroups: gmane.science.mathematics.categories Subject: RE: The Category of Semimodules over Semirings Date: Sun, 16 Mar 2008 10:49:40 -0400 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019869 12743 80.91.229.2 (29 Apr 2009 15:44:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:44:29 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Sun Mar 16 21:56:30 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 16 Mar 2008 21:56:30 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Jb3Yh-0005m7-4z for categories-list@mta.ca; Sun, 16 Mar 2008 21:50:35 -0300 Accept-Language: en-US Content-Language: en-US Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 83 Original-Lines: 94 Xref: news.gmane.org gmane.science.mathematics.categories:4319 Archived-At: Dear Jawad, Here are some suggestions that hopefully may help you: 1) In regard of literature on the subject, I'd suggest to look at the book,= "A Guide to the Literature on Semirings and their Applications in Mathemat= ics and Information Sciences (With Complete Bibliography)," by Kazimierz Gl= azek, Kluwer Academic Publishers, 2002. 2) Concerning categorical aspects of semimodules categories, I'd suggest to= check publications of Ildar S. Safuanov whose Ph.D. dissertation, supervis= ed by late Prof. L.A. Skornyakov (Moscow State U., MGU) in 80-th, was about= categorical aspect of semimodules. With my best wishes, Yefim ____________________________________________________________________ Prof. Yefim Katsov Department of Mathematics & CS Hanover College Hanover, IN 47243-0890, USA telephones: office (812) 866-6119; home (812) 866-4312; fax (812) 866-7229 -----Original Message----- From: cat-dist@mta.ca [mailto:cat-dist@mta.ca] On Behalf Of Jawad Abuhlail Sent: Saturday, March 15, 2008 9:33 PM To: categories@mta.ca Subject: categories: The Category of Semimodules over Semirings Dear colleagues, A semiring is roughly speaking a ring without subtraction, i.e. (R,+,0) is an Abelian monoid & (R,*,1) is a semigroup with distribution of * over + (e.g. the set of non-negative integers). A semimodule over a semiring is roughly speaking a module without subtraction, i.e. (M,+,0) is an Abelian Monoid, and there is a scalar multiplication of the semiring on M with the usual expected properties. A semimodule over a semiring is cancellative, if the Abelian monoid (R,+) is cancellative. The category of N0-Semimoduels is just the category of "Commutative Monoids". Indeed the category of left semimodules over an arbitrary semiring R? (A special example would be the category of commutative monoids) is not pre-additive. However, for any left semimodules M and N over a semiring R, (Hom_R(M,N),+,0) is an Abelian monoid and it has kernels and cokernels. A monomorphism of semimodules is injective, however only an "image-regular" epimorphism is subjective. For a morphism of semimodules f: M --> N, the sequence 0 ---> Coimage(f) --> Im(f) --> is exact, but the canonical map Coimage(f) --> Im(f) is not an isomorphism (neither a bimorphism), unless f is regular. The category of semimodules had products, equalizers and products (however not necessarily coequalizers). The category of cancellative semimodules is complete and cocomplete. It has a generator, namely the semiring itself and I also "expect" it to have exact colimits (ANY REFERENCE?). What kind of Categories is the category of (cancellative) semimodules over semiring? Is there a notion of "almost Grothendieck categories" or "Semi-Grothendieck Categories" to which categories of (cancellative) semimodules fit? Unfortunately, I did not find a single book that clarifies the categorical aspects of semimodules (The 3 books of Golan as well as the books on the subject by others are devoted more to semirings and automata and not have much on semimodules). I appreciate very much your comments, suggestions for literature (e.g. books, Ph.D. dissertations, articles) on the CATEGROY OF (Cancellative) SEMIMODULES (other than the papers of Takahashi and Katsov, which I already have). With best regards, Jawad ----------------------------------------------------- Dr. Jawad Abuhlail Dept. of Math. & Stat. Box # 5046, KFUPM 31261 Dhahran (KSA) http://faculty.kfupm.edu.sa/math/abuhlail