From: Steve Vickers <s.j.vickers@cs.bham.ac.uk>
To: categories@mta.ca
Subject: Re: Finite categories and filtered colimits,
Date: Wed, 23 Apr 2008 14:28:16 +0100 [thread overview]
Message-ID: <E1JomCn-0004Su-BD@mailserv.mta.ca> (raw)
Dear Francois,
I don't know how relevant this is to your thinking, but I thought I'd
mention the result is constructively false.
For an example, let C be the poset with two elements b <= t. The only
idempotents are the identities on b and t, so of course they split.
Let p be a truth value, and let I = {b} u {t | p}, an ideal (hence
directed) in C. If this has a colimit, then it must be either b or t.
The colimit is b iff not p (so I = {b}), and it follows that if the
colimit is t we have not not p. Hence existence of the colimit gives
(not p or not not p) for every p, which is not intuitionistically valid.
In fact one way to regard the set of truth values (i.e. the subobject
classifier) is as the ideal completion of C.
Regards,
Steve.
On 21 Apr 2008, at 20:04, lamarche wrote:
> Fellow category theorists,
>
> I'm looking for a ref for the following result:
>
> Let C be a finite category. Then TFAE
>
> -- C has colimits for all small filtered (well, directed is
> probably better) diagrams.
>
> -- Idempotents split in C.
>
>
> This doesn't seem to be in Makkai-Paré or Adamek-Rosicky, but
> surely somebody must have observed this. Actually the result is a
> bit more general since idempotents split in *any* category that has
> filtered colimits.
>
>
> Thanks in advance,
>
> François Lamarche
>
>
>
>
>
>
next reply other threads:[~2008-04-23 13:28 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-04-23 13:28 Steve Vickers [this message]
-- strict thread matches above, loose matches on Subject: below --
2008-04-21 19:04 lamarche
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=E1JomCn-0004Su-BD@mailserv.mta.ca \
--to=s.j.vickers@cs.bham.ac.uk \
--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).