* Re: question on terminology
@ 2012-08-25 3:35 Fred E.J. Linton
2012-08-25 13:16 ` Colin McLarty
0 siblings, 1 reply; 2+ messages in thread
From: Fred E.J. Linton @ 2012-08-25 3:35 UTC (permalink / raw)
To: claudio pisani, categories
Claudio Pisani asked,
> Is there a standard name for those presheaves X on a
> category C such that Xf is a bijection for any f in C?
Well, those presheaves are exactly the "restrictions to C" of the
presheaves on the grouppoid reflection (the grouppoidal 'quotient') of C
(by which I mean the category got by declaring invertible every C-morphism).
Does that suggest "grouppoidal action of C" might work? I think I'd tend
to lobby against the use of the prefix "bi-" unless there were *really*
compelling reasons in favor of it.
Cheers, -- Fred
---
> I have sometimes called them "biactions" since any such X (considered as,
say, a left action of C) is paired with the obvious presheaf X' on C^op (a
right action of C): X'f = (Xf)^-1.
> Of course, they correspond, as categories over C, to discrete bifibrations.
> I also know that the separable or decidable presheaves are those for which
every Xf is injective.
>
> Claudio
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Re: question on terminology
2012-08-25 3:35 question on terminology Fred E.J. Linton
@ 2012-08-25 13:16 ` Colin McLarty
0 siblings, 0 replies; 2+ messages in thread
From: Colin McLarty @ 2012-08-25 13:16 UTC (permalink / raw)
To: categories
I'm with Fred on this.
Colin
On Fri, Aug 24, 2012 at 11:35 PM, Fred E.J. Linton <fejlinton@usa.net> wrote:
> Claudio Pisani asked,
>
>> Is there a standard name for those presheaves X on a
>> category C such that Xf is a bijection for any f in C?
>
> Well, those presheaves are exactly the "restrictions to C" of the
> presheaves on the grouppoid reflection (the grouppoidal 'quotient') of C
> (by which I mean the category got by declaring invertible every C-morphism).
>
> Does that suggest "grouppoidal action of C" might work? I think I'd tend
> to lobby against the use of the prefix "bi-" unless there were *really*
> compelling reasons in favor of it.
>
> Cheers, -- Fred
>
> ---
>
>> I have sometimes called them "biactions" since any such X (considered as,
> say, a left action of C) is paired with the obvious presheaf X' on C^op (a
> right action of C): X'f = (Xf)^-1.
>> Of course, they correspond, as categories over C, to discrete bifibrations.
>> I also know that the separable or decidable presheaves are those for which
> every Xf is injective.
>>
>> Claudio
>>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2012-08-25 13:16 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-08-25 3:35 question on terminology Fred E.J. Linton
2012-08-25 13:16 ` Colin McLarty
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).