From: Michael Barr <barr@barrs.org>
To: Categories list <categories@mta.ca>
Subject: Wells's reply
Date: Sat, 19 May 2001 08:07:09 -0400 (EDT) [thread overview]
Message-ID: <Pine.LNX.4.10.10105190755590.10442-100000@triples.math.mcgill.ca> (raw)
I unfortunately deleted Charles's reply to the question about dimension
being an operation. But thinking about it I realized that dimension is
not an operation in the theory of vector spaces either; It is not
preserved by morphisms. For vector spaces, even finite dimensional ones,
the existence of dimension is a theorem. But the original question was
not about vector spaces, but about coordinate spaces. For which the only
morphisms are square permutation matrices.
And the distributive law does not say that multiplication is a morphism
with respect to addition. It does say that multiplication by a fixed
element (on the right or the left) is a morphism with respect to addition.
But I don't think that an infinitary distributive law (say between
infinite sups and infinite infs) can be stated in such a way at all.
Michael
reply other threads:[~2001-05-19 12:07 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.LNX.4.10.10105190755590.10442-100000@triples.math.mcgill.ca \
--to=barr@barrs.org \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).