exponentiating by a small presheaf

exponentiating by a small presheaf

[Paul Levy]

[-- Attachment #1: Type: text/plain, Size: 1769 bytes --]

Dear all,

Let C be a locally small category.  A functor C^op -> Set that’s a colimit of representables is called a “small presheaf”.

Here are two observations.

  1.  Let C be cartesian.  In the cartesian category [C^op, Set], any small presheaf is exponentiating.
  2.  More generally, let C be monoidal.  In the multicategory [C^op, Set], any small presheaf is exponentiating.

To see (1), it suffices to prove it for a representable presheaf.  Explicitly, a presheaf H exponentiated by C(-,a) is H(- * a).  The construction of (2) is similar.

Has either result appeared in the literature?  At least for the special case of a representable presheaf?

Best regards,

Paul

PS there’s a 2-categorical version of (1) at the start of Section 6.2 of Saville’s thesis:

https://philipsaville.co.uk/thesis-for-screen.pdf<https://url.au.m.mimecastprotect.com/s/WxUqCNLJxki0EqxqRSmfVSyu55n?domain=philipsaville.co.uk>

Another related result is the cartesian closure of the category of containers:

https://pblevy.github.io/papers/hocont.pdf<https://url.au.m.mimecastprotect.com/s/w28RCOMK7Ycp0LXLGFvhDSG3y5O?domain=pblevy.github.io>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 10323 bytes --]

Re: exponentiating by a small presheaf

[Steve Lack]

[-- Attachment #1: Type: text/plain, Size: 1882 bytes --]

Dear Paul,

I agree that if H(-@a) is small then it does the job, but why should it be small? Take H to be the representable C(-,b); then this would say that C(-@a,b) is small. If it is small, then the general case follows. This is Proposition 1 of Rosicky’s “Cartesian closed exact completions”. For various generalizations, including the non-cartesian case, see Section 7 of my paper “Limits of small functors” with Brian Day (Example 7.4 refers to the Rosicky result).

Of course if C is actually cartesian closed then C(-@a,b) is not just small but representable.

As far as I can tell, in Saville’s thesis, the bicategory B corresponding to your C is itself supposed to be small (at least relative to Cat).

Best,

Steve.


On 21 Jan 2025, at 4:38 AM, Paul Levy <p.b.levy@bham.ac.uk> wrote:

Dear all,
Let C be a locally small category.  A functor C^op -> Set that’s a colimit of representables is called a “small presheaf”.
Here are two observations.

  1.  Let C be cartesian.  In the cartesian category [C^op, Set], any small presheaf is exponentiating.
  2.  More generally, let C be monoidal.  In the multicategory [C^op, Set], any small presheaf is exponentiating.

To see (1), it suffices to prove it for a representable presheaf.  Explicitly, a presheaf H exponentiated by C(-,a) is H(- * a).  The construction of (2) is similar.
Has either result appeared in the literature?  At least for the special case of a representable presheaf?
Best regards,
Paul
PS there’s a 2-categorical version of (1) at the start of Section 6.2 of Saville’s thesis:
https://philipsaville.co.uk/thesis-for-screen.pdf<https://philipsaville.co.uk/thesis-for-screen.pdf>
Another related result is the cartesian closure of the category of containers:
https://pblevy.github.io/papers/hocont.pdf<https://pblevy.github.io/papers/hocont.pdf>


[-- Attachment #2: Type: text/html, Size: 7378 bytes --]

Re: exponentiating by a small presheaf

[Paul Levy]

[-- Attachment #1: Type: text/plain, Size: 3215 bytes --]

Thanks, Steve, but I wrote [C^op,Set] to mean the category of all presheaves.
I didn’t know that this notation is sometimes used for the category of small presheaves (e.g. in Rosický’s paper).
Best regards,
Paul

From: Steve Lack <steve.lack@mq.edu.au>
Date: Tuesday, 21 January 2025 at 00:11
To: Paul Levy (Computer Science) <p.b.levy@bham.ac.uk>
Cc: Categories mailing list <categories@mq.edu.au>
Subject: Re: exponentiating by a small presheaf
CAUTION: This email originated from outside the organisation. Do not click links or open attachments unless you recognise the sender and know the content is safe.

Dear Paul,

I agree that if H(-@a) is small then it does the job, but why should it be small? Take H to be the representable C(-,b); then this would say that C(-@a,b) is small. If it is small, then the general case follows. This is Proposition 1 of Rosicky’s “Cartesian closed exact completions”. For various generalizations, including the non-cartesian case, see Section 7 of my paper “Limits of small functors” with Brian Day (Example 7.4 refers to the Rosicky result).

Of course if C is actually cartesian closed then C(-@a,b) is not just small but representable.

As far as I can tell, in Saville’s thesis, the bicategory B corresponding to your C is itself supposed to be small (at least relative to Cat).

Best,

Steve.



On 21 Jan 2025, at 4:38 AM, Paul Levy <p.b.levy@bham.ac.uk> wrote:

Dear all,
Let C be a locally small category.  A functor C^op -> Set that’s a colimit of representables is called a “small presheaf”.
Here are two observations.

  1.  Let C be cartesian.  In the cartesian category [C^op, Set], any small presheaf is exponentiating.
  2.  More generally, let C be monoidal.  In the multicategory [C^op, Set], any small presheaf is exponentiating.
To see (1), it suffices to prove it for a representable presheaf.  Explicitly, a presheaf H exponentiated by C(-,a) is H(- * a).  The construction of (2) is similar.
Has either result appeared in the literature?  At least for the special case of a representable presheaf?
Best regards,
Paul
PS there’s a 2-categorical version of (1) at the start of Section 6.2 of Saville’s thesis:
https://philipsaville.co.uk/thesis-for-screen.pdf<https://url.au.m.mimecastprotect.com/s/9D6VCOMK7Ycp0zx1BFEfDSGBVj0?domain=philipsaville.co.uk>
Another related result is the cartesian closure of the category of containers:
https://pblevy.github.io/papers/hocont.pdf<https://url.au.m.mimecastprotect.com/s/ApsWCP7L1NfKo8XzLS0hxSxU7SA?domain=pblevy.github.io>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 11600 bytes --]

Re: exponentiating by a small presheaf

[Richard Garner]

Hi Paul,

This is kind-of related. Defining the category of small presheaves
typically requires first defining the non-locally-small category of all
presheaves, and then taking within it the closure of the representables
under small colimits.

However you can avoid this. Define any arbitrary presheaf X to be
moderate if, for all presheaves Y, the set of natural transformations
X=>Y is small. The category of moderate presheaves is locally small.
Moreover, it clearly contains the representables, and has small colimits
computed pointwise. So you can define the category of small presheaves
as the closure of the representables under small colimits in the locally
small category of moderate presheaves. (It would seem reasonable to
think that this is the whole category, but it seems easiest to avoid
having to find out if this is true.)

The same argument works for V-categories, avoiding the need for
universe-enlarging V to V' in order to define the category of small
presheaves.

All the best,

Richard



Paul Levy <p.b.levy@bham.ac.uk> writes:

> Thanks, Steve, but I wrote [C^op,Set] to mean the category of all presheaves.  
>
> I didn’t know that this notation is sometimes used for the category of small presheaves (e.g. in Rosický’s paper).
>
> Best regards,
>
> Paul 
>
>  
>
> From: Steve Lack <steve.lack@mq.edu.au>
> Date: Tuesday, 21 January 2025 at 00:11
> To: Paul Levy (Computer Science) <p.b.levy@bham.ac.uk>
> Cc: Categories mailing list <categories@mq.edu.au>
> Subject: Re: exponentiating by a small presheaf
>
>  CAUTION: This email originated from outside the organisation. Do not click links or open attachments unless you recognise the sender and  
>  know the content is safe.  
>
>  
>
> Dear Paul, 
>
>  
>
> I agree that if H(-@a) is small then it does the job, but why should it be small? Take H to be the representable C(-,b); then this would say that C
> (-@a,b) is small. If it is small, then the general case follows. This is Proposition 1 of Rosicky’s “Cartesian closed exact completions”. For various
> generalizations, including the non-cartesian case, see Section 7 of my paper “Limits of small functors” with Brian Day (Example 7.4 refers to the
> Rosicky result). 
>
>  
>
> Of course if C is actually cartesian closed then C(-@a,b) is not just small but representable. 
>
>  
>
> As far as I can tell, in Saville’s thesis, the bicategory B corresponding to your C is itself supposed to be small (at least relative to Cat).
>
>  
>
> Best,
>
>  
>
> Steve.
>
>  
>
>  On 21 Jan 2025, at 4:38 AM, Paul Levy <p.b.levy@bham.ac.uk> wrote:
>
>   
>
>  Dear all,
>
>  Let C be a locally small category.  A functor C^op -> Set that’s a colimit of representables is called a “small presheaf”.
>
>  Here are two observations.
>
>  1 Let C be cartesian.  In the cartesian category [C^op, Set], any small presheaf is exponentiating.
>
>  2 More generally, let C be monoidal.  In the multicategory [C^op, Set], any small presheaf is exponentiating.
>
>  To see (1), it suffices to prove it for a representable presheaf.  Explicitly, a presheaf H exponentiated by C(-,a) is H(- * a).  The construction
>  of (2) is similar.
>
>  Has either result appeared in the literature?  At least for the special case of a representable presheaf?
>
>  Best regards,
>
>  Paul
>
>  PS there’s a 2-categorical version of (1) at the start of Section 6.2 of Saville’s thesis: 
>
>  https://philipsaville.co.uk/thesis-for-screen.pdf⚠️
>
>  Another related result is the cartesian closure of the category of containers:
>
>  https://pblevy.github.io/papers/hocont.pdf⚠️

Re: exponentiating by a small presheaf

[P.T. Johnstone]

[-- Attachment #1: Type: text/plain, Size: 2350 bytes --]

Dear Paul,

It isn't exactly the result you quote,  but there's an old paper by H. Engenes (Subobject classifiers and classes of subfunctors, Math. Scand. 34 (1974), 145—152) where he observes that if C is a category such that each slice C/B is equivalent to a small category (even though C itself may not be small) than [C^op,Set] is a topos.

Best regards
Peter
________________________________
From: Paul Levy <p.b.levy@bham.ac.uk>
Sent: Monday, January 20, 2025 5:38 PM
To: categories@mq.edu.au <categories@mq.edu.au>
Subject: exponentiating by a small presheaf


Dear all,

Let C be a locally small category.  A functor C^op -> Set that’s a colimit of representables is called a “small presheaf”.

Here are two observations.

  1.  Let C be cartesian.  In the cartesian category [C^op, Set], any small presheaf is exponentiating.
  2.  More generally, let C be monoidal.  In the multicategory [C^op, Set], any small presheaf is exponentiating.

To see (1), it suffices to prove it for a representable presheaf.  Explicitly, a presheaf H exponentiated by C(-,a) is H(- * a).  The construction of (2) is similar.

Has either result appeared in the literature?  At least for the special case of a representable presheaf?

Best regards,

Paul

PS there’s a 2-categorical version of (1) at the start of Section 6.2 of Saville’s thesis:

https://philipsaville.co.uk/thesis-for-screen.pdf<https://url.au.m.mimecastprotect.com/s/izjQCMwGj8CqRMyxGtwfzS89wi1?domain=philipsaville.co.uk>

Another related result is the cartesian closure of the category of containers:

https://pblevy.github.io/papers/hocont.pdf<https://url.au.m.mimecastprotect.com/s/a-acCNLJxki0EDqV1t4hVSy4SJT?domain=pblevy.github.io>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 9590 bytes --]