From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4666 Path: news.gmane.org!not-for-mail From: "Fred E.J. Linton" Newsgroups: gmane.science.mathematics.categories Subject: Re: Matrices Category Date: Thu, 16 Oct 2008 19:52:39 -0400 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241020090 14290 80.91.229.2 (29 Apr 2009 15:48:10 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:48:10 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Fri Oct 17 11:43:33 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 17 Oct 2008 11:43:33 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KqqQ6-0006bk-2D for categories-list@mta.ca; Fri, 17 Oct 2008 11:35:14 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 23 Original-Lines: 94 Xref: news.gmane.org gmane.science.mathematics.categories:4666 Archived-At: Hi, Hugo, Given the spec "as its morphisms," there are at least three perspectives.= 1) (narrowest) you're focussed on some field F and on the very = particular vector spaces over F that are of form F^n for natural = numbers n, along with the matrices that "are" the F-linear transformations among them. Any linear algebra text should help. 2) (intermediate) you're focussed on some semiring R (equipped with a multiplication and an addition, each associative and unital, = and together satisfying a distributive law) and are after the category with objects the natural numbers and maps from k to n the n by k matrices with coefficients from R. This can be construed also as the full subcategory of R-semimodules whose objects are the finitely generated free ones, which is the Lawvere-style "algebraic theory" of R-semimodules. "Functorial semantics" (google it?) can offer broad general insights. Perspective 1) arises from the special case of 2) with R =3D F. 3) (broadest) what Ronnie Brown pointed out -- from almost any = category A one can form a new category whose objects are the finite sequences of objects of A and whose maps, from say A1 ... An to B1 ... Bk are the n by k matrices whose various ij'th entries are A-morphisms from Ai to Bj [or, if you prefer, the exact opposite]. Some Russians in the '60s or '70s in the Kurosh school (i.e. [students = of ...]* students of Kurosh) exploited that construction to explain = how to embed a less-than-additive category in an additive one. The names = Kurosh, Lifshutz and Shulgeifer come to mind (perhaps inappropriately?), but the publications I'd like to cite for you, or my copies of them, anyway, are in storage, and inaccessible to me at the moment, sorry. Perspective 2) arises from the special case of 3) with = A =3D the one-object pre-additive category R. May these pointers help get you started. Cheers, -- Fred ------ Original Message ------ Received: Thu, 16 Oct 2008 09:41:42 AM EDT From: "Hugo Macedo" To: "Fred E.J. Linton" Subject: Re: categories: Matrices Category > Hello Fred E.J. Linton > = > Thanks for the answer, I meant Matrices as its morphisms. > = > Best regards, > Hugo > = > On Wed, Oct 15, 2008 at 4:38 AM, Fred E.J. Linton wrote: > = > > "Hugo Macedo" wrote: > > > > > I'm trying to study the Category of Matrices but I found almost nothing. > > Do > > > you know where > > > I can find information about them? > > > --- [snip] --- > > > > Do you mean matrices as the objects of this category? > > or as its morphisms (in which case, what objects do you see?)? > > Might make a difference in the references you get pointed to. > > > > > > > =