categories - Category Theory list
 help / color / mirror / Atom feed
From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: Re: finiteness
Date: Fri, 24 Jan 1997 10:55:32 -0400 (AST)	[thread overview]
Message-ID: <Pine.OSF.3.90.970124105520.13430F-100000@mailserv.mta.ca> (raw)

Date: Fri, 24 Jan 1997 10:54:59 +0000
From: Steve Vickers <sjv@doc.ic.ac.uk>

>From: carboni@vmimat.mat.unimi.it
>
>... L consists of those ideals T : N---->Omega such that for all n
>Tn = Inf{Tm | m > n}.

I understand this as saying that n is in the ideal iff every greater m is
in the ideal (but I think the inequality m > n has to be non-strict to make
sense of this). Hence it's really a filter of N.

If that's correct, then my suggestion was wrong. L would be not Idl N, but
Idl(N^op). That makes sense regarding dimensions, for if a real vector
space is finitely presented using an mxn matrix A (presenting R^n/Im A)
then its dimension is n-rank(A), so if rank(A) is in Idl(N), the dimension
should be in Idl(N^op).

(By the way, what's a full reference for the "Perugia Notes"?)

Steve.





             reply	other threads:[~1997-01-24 14:55 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-01-24 14:55 categories [this message]
  -- strict thread matches above, loose matches on Subject: below --
1997-01-27 17:15 finiteness categories
1997-01-23 18:49 finiteness categories

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.OSF.3.90.970124105520.13430F-100000@mailserv.mta.ca \
    --to=cat-dist@mta.ca \
    --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).