From: Richard Garner <richard.garner@mq.edu.au>
To: henry@phare.normalesup.org
Cc: Categories list <categories@mta.ca>
Subject: Re: Tensor product of left exact morphisms
Date: Sat, 28 Mar 2015 19:40:12 +1100 [thread overview]
Message-ID: <E1Ybs6o-0003lt-Ck@mlist.mta.ca> (raw)
In-Reply-To: <E1YbdPt-0000g0-PH@mlist.mta.ca>
Thanks, Simon.
So it seems that, however one wishes to prove it (and in fact there are
many ways), my original answer was correct. I subsequently tried to
correct my original answer, but in fact it turns out that I corrected it
to something else which was correct. Indeed, if:
- X is the category of f.g. free G^op-sets (for G a group or a groupoid)
- Y is the subcategory of X on the well-supported objects
then [Y, Set], my first answer, is equivalent to Sh(X^op), my second
answer, and both classify the notion of inhabited free right G-set.
Here on the right we are taking sheaves for the topology on X^op
comprising the project projections. The point is that:
- every object of X is covered by one of Y;
- if A is in Y, then the sieve in X generated by any product projection
BxA-->A is easily seen to be the maximal one
whence by the comparison lemma, sheaves on X^op are the same as
presheaves on Y^op.
Richard
On Sat, Mar 28, 2015, at 12:08 AM, henry@phare.normalesup.org wrote:
> Dear Richard,
>
> If I'm not mistaken, the distinction between inhabited and non-inhabited
> torsors does not change much : your initial answer is correct.
>
>
> To connect with Andr?'s answer, inhabited free G-sets are inhabited
> collection of G-torsors, his construction produces a topos over [set,Set]
> (the classyfing topos for object, i.e. the bagdomain construction for the
> topos of sets) while what you want is a topos over [set+,Set] where set
> denote the category of finite set and set+ the category of inhabited
> finite set.
> But this corresponds to the functor from finitely generated free right
> $G$-Set to set which send an object to its (finite) set of orbits.
> Because
> it is a fibration it is easy to construct the pullback along the
> geometric
> morphism from [set+,Set] to [set,Set] corresponding to the inclusion of
> set+ in set : it will give the topos of inhabited free finitely generated
> G-set as you first found (the weak pullback of category).
>
>
> Also, as you are probably aware, once you know that the classyfing topos
> you want to construct is a topos of presheaf over a category C, it is a
> general fact that C can be taken to be the opposite of the category of
> finitely presented model of your theory, hence finitely generated free
> inhabited G-set, and what you said for the case of groupoids.
>
> Best wishes,
> Simon Henry
>
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
prev parent reply other threads:[~2015-03-28 8:40 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-03-26 1:27 Richard Garner
2015-03-26 15:00 ` Joyal, André
[not found] ` <8C57894C7413F04A98DDF5629FEC90B1137B097E@Pli.gst.uqam.ca>
2015-03-26 23:08 ` Richard Garner
2015-03-27 13:08 ` henry
2015-03-28 8:40 ` Richard Garner [this message]
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=E1Ybs6o-0003lt-Ck@mlist.mta.ca \
--to=richard.garner@mq.edu.au \
--cc=categories@mta.ca \
--cc=henry@phare.normalesup.org \
/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).