From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1966
Path: news.gmane.org!not-for-mail
From: <math@antiquark.com>
Newsgroups: gmane.science.mathematics.categories
Subject: Structure Preserving: Definition?
Date: Thu, 17 May 2001 15:57:33 -0500
Message-ID: <006501c0df13$fe6fb400$87657bc8@athlon>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1241018237 1431 80.91.229.2 (29 Apr 2009 15:17:17 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:17:17 +0000 (UTC)
To: <categories@mta.ca>
Original-X-From: rrosebru@mta.ca Fri May 18 01:03:49 2001 -0300
Return-Path: <cat-dist@mta.ca>
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.11.1/8.11.1) id f4I2DIZ19667
	for categories-list; Thu, 17 May 2001 23:13:18 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2462.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2462.0000
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 34
Original-Lines: 43
Xref: news.gmane.org gmane.science.mathematics.categories:1966
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1966>

Hello,
I've sent the following message to sci.math, but haven't
received a clear answer. I've also tried sci.math.research,
but the moderator bounced the posting. Possibly someone 
here can help?

Derek.
===============================================

I'm working through the following paper, trying to learn a bit
more about category theory:

Matrices, Monads and the Fast Fourier Transform
http://citeseer.nj.nec.com/jay93matrice.html

I this paper, the author explains vectors in categorical
notation:

"Vectors are distinguished from lists because their length
is given as part of their structure, represented by a morphism
(function) #: VA -> N."

What this means is that the morphism '#' will produce the
length of vector.

However, does this violate one of the requirements that a
morphism must preserve the structure of an object?  A vector
is a sequence of elements, and an integer is only a single
value. Does this mean that an integer has the same structure
as a vector?

Or does "structure preserving morphism" mean something
different?

Thanks,

Derek.