Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: learning: questions

Topic: Cotensors in enriched presheaf categories


view this post on Zulip Ari Rosenfield (Mar 12 2025 at 01:43):

Say V\mathcal{V} is a symmetric monoidal closed category which is bicomplete and locally finitely presentable (so admitting a dense generating set of objects G\mathcal{G}), and C\mathcal{C} is a V\mathcal{V}-category. Suppose that R,P[Cop,V]R,P \in [\mathcal{C}^\text{op},\mathcal{V}] are V\mathcal{V}-functors.

For an arbitrary gGg \in \mathcal{G}, recall that the cotensor {g,P}\{g,P\} in [Cop,V][\mathcal{C}^\text{op},\mathcal{V}] sends an object xx to V(g,Px)\mathcal{V}(g,Px). Given a V\mathcal{V}-natural transformation α:R{g,P}\alpha : R \to \{g,P\}, is there a canonical way to extend α\alpha to a morphism {g,R}{g,P}\{g,R\} \to \{g,P\}?

I've been messing around with the relevant universal properties for a few hours and can't seem to make it happen. This is in the context of trying to generalize a lemma regarding sheaves with respect to some coverage (Lemma 3.2.10 from Borceux's Categorical Algebra III) to the enriched setting, using the definition of enriched coverage/Grothendieck topology found in this paper.

view this post on Zulip Morgan Rogers (he/him) (Mar 12 2025 at 13:04):

Is there a reason you expect this to be possible for general gg? The simplest case is to take V\mathcal{V} to be Set\mathrm{Set} and C\mathcal{C} to be the one-object category. Then cotensoring is exponentiation, and you're asking given XYZX\to Y^Z if there is a canonical extension to XZYZX^Z \to Y^Z. I don't think there is an extension you could define here that is natural in all three variables.

view this post on Zulip Ari Rosenfield (Mar 12 2025 at 13:52):

You're right, thanks! I had expected the proof in the unenriched case to work pretty much exactly as written for the enriched case, so I wasn't looking for counterexamples yet.

view this post on Zulip Morgan Rogers (he/him) (Mar 12 2025 at 15:23):

I still am curious if you have come across a case where this extension is possible, since it is an interesting possibility. :innocent:

view this post on Zulip Ari Rosenfield (Mar 12 2025 at 16:06):

No, I haven't. For more context, what I'm trying to do is this:

Given PP, gg, and α\alpha as above, a monomorphism r:RC(,x)r : R \to \mathcal{C}(-,x), and also given a generalized element f:gC(y,x)f : g \to \mathcal{C}(y,x), I can take a pullback in [Cop,V]0[\mathcal{C}^\text{op},\mathcal{V}]_0, as in region (i) below. I was hoping to find a dashed arrow arising from α\alpha, but I'm not very fluent with cotensors/generating families yet, so it's a struggle at the moment.

Untitled.png

Clearly, having the extension that I asked for in the original post would help, but you're right that it doesn't exist in general :joy:

view this post on Zulip Morgan Rogers (he/him) (Mar 12 2025 at 20:34):

I want to say I see, but I don't know if I'm supposed to see a relationship between the pullback square and the extension you're trying to find. On the other hand, if you instead had a morphism RPR \to P the task would be very easy!
I would add that the existence of extensions (especially universal ones) defines a special property of either objects of [C^op,V] or of V (depending on which parameters are fixed/universally quantified).

view this post on Zulip Ari Rosenfield (Mar 12 2025 at 22:30):

I want to say I see, but I don't know if I'm supposed to see a relationship between the pullback square and the extension you're trying to find.

Yes, sorry, I think it probably looks pretty random if you haven't recently looked at the paper I'm referring to and/or the proof I'm trying to replicate. It all seemed like a lot for a Zulip post; I was trying to be concise.

On the other hand, if you instead had a morphism RPR→P the task would be very easy!

In the unenriched case, that's exactly what happens!

I'll try to give a little more detail here in a second

view this post on Zulip Ari Rosenfield (Mar 12 2025 at 23:07):

By "enriched coverage," I mean a collection of sieves on objects of C\mathcal{C} which is closed under pullbacks (the paper I linked to in the first post has a definition of enriched topology, so in terms of that definition, it would be an enriched topology minus condition (T3)).

The definition of "enriched sheaf" I'm using is nearly the same as the unenriched version, but now I have to care about generalized elements: Say PP is a sheaf for a V\mathcal{V}-coverage JJ if there exists a unique β\beta such that for all (r:RC(,x))J(x)(r: R \rightarrowtail \mathcal{C}(-,x)) \in J(x), gGg \in \mathcal{G}, and α:R{g,P}\alpha : R \to \{g,P\}, this triangle commutes:

Untitled2.png

I'm trying to prove that any sheaf for JJ is a sheaf for the (enriched) coverage defined on xCx \in \mathcal{C} by J+(x)={(RC(,x)):  SJ(x) s.t. fhom(G,S(y)),  RfJ(y)}J^+(x) = \{(R \rightarrowtail \mathcal{C}(-,x)) : \exists \; S \in J(x) \text{ s.t. } \forall f \in \hom(\mathcal{G},S(y)), \; R_f \in J(y)\}.

Given such an SS, if I can find a dashed arrow as in the diagram from a couple messages back, PP being a sheaf for JJ gives me a unique βf\beta_f such that the following commutes:

Untitled.png

Then I think I can move on with the existence part of the proof. Even further out, this would be part of an inductive proof that sheaves for an enriched coverage JJ are the same as those for the smallest enriched topology containing JJ. Obvi I need to do this first, though :sweat_smile:

view this post on Zulip Morgan Rogers (he/him) (Mar 13 2025 at 08:26):

Ari Rosenfield said:

The definition of "enriched sheaf" I'm using is nearly the same as the unenriched version, but now I have to care about generalized elements: Say PP is a sheaf for a V\mathcal{V}-coverage JJ if there exists a unique β\beta such that for all (r:RC(,x))J(x)(r: R \rightarrowtail \mathcal{C}(-,x)) \in J(x), gGg \in \mathcal{G}, and α:R{g,P}\alpha : R \to \{g,P\}, this triangle commutes:

Untitled2.png

The quantifiers seem to be the wrong way around in this sentence: β\beta should depend on α\alpha, no?

view this post on Zulip Morgan Rogers (he/him) (Mar 13 2025 at 09:44):

I see, so you're trying to prove that the closure of the sieves under a kind of multicomposition yields the same sheaves. I would keed to think a lot more deeply to understand why the cotensor appears in the sheaf condition in the enriched setting (this surely shows my ignorance of the subtleties of enriched sheaves); could you explain that? Actually, it's not clear to me that the sheaf condition you give reduces to the usual one in the unenriched setting!

view this post on Zulip Ari Rosenfield (Mar 13 2025 at 17:10):

The quantifiers seem to be the wrong way around in this sentence: ββ should depend on αα, no?

oop yes, I've fixed it now!

Actually, it's not clear to me that the sheaf condition you give reduces to the usual one in the unenriched setting!

In the unenriched case, we can take G\mathcal{G} to be a single-element set. Then for all gGg \in \mathcal{G} (i.e., for g=1g = \mathbf{1}), we have {g,P}P\{g, P\} \cong P. The enriched sheaf condition is then equivalent to saying that for all sieves SJ(x)S \in J(x), we have hom(S,P)hom(C(,x),P)\hom(S,P) \cong \hom(\mathcal{C}(-,x), P). If you buy that a matching family for SS of elements of PP is the same thing as a natural transformation SPS \to P, this is just saying that any matching family has a unique amalgamation (just following the argument on p.121-122 in Maclane-Moerdijk).

I would keed to think a lot more deeply to understand why the cotensor appears in the sheaf condition in the enriched setting (this surely shows my ignorance of the subtleties of enriched sheaves); could you explain that?

The enriched sheaf condition just takes the perspective that V\mathcal{V}-transformations S{g,P}S \to \{g,P\} are "matching families of generalized elements of shape gg" of PP. For a general V\mathcal{V}, unlike the case of sets, "elements" IPI \to P don't capture enough information about objects anymore, so we have to consider more general shapes.

view this post on Zulip Morgan Rogers (he/him) (Mar 13 2025 at 17:22):

Ari Rosenfield said:

Actually, it's not clear to me that the sheaf condition you give reduces to the usual one in the unenriched setting!

In the unenriched case, we can take G\mathcal{G} to be a single-element set. Then for all gGg \in \mathcal{G} (i.e., for g=1g = \mathbf{1}), we have {g,P}P\{g, P\} \cong P. The enriched sheaf condition is then equivalent to saying that for all sieves SJ(x)S \in J(x), we have hom(S,P)hom(C(,x),P)\hom(S,P) \cong \hom(\mathcal{C}(-,x), P). If you buy that a matching family for SS of elements of PP is the same thing as a natural transformation SPS \to P, this is just saying that any matching family has a unique amalgamation (just following the argument on p.121-122 in Maclane-Moerdijk).

My point was rather that if gg is not a singleton, and more specifically if gg is not finite, then I don't think the extension property holds in the unenriched case, but here you're saying it should hold for arbitrary gg!

view this post on Zulip Morgan Rogers (he/him) (Mar 13 2025 at 17:25):

Well I suppose you did say it had to belong to G\mathcal{G} but I could take that dense generating set to be arbitrarily large.

view this post on Zulip Morgan Rogers (he/him) (Mar 13 2025 at 17:27):

This would suggest to me that one should impose a compactness condition on the objects gg, which if strong enough could allow you to construct the extension you're looking for (although the extension probably won't be unique/natural)

view this post on Zulip Ari Rosenfield (Mar 13 2025 at 17:53):

Yes, I think since V\mathcal{V} is locally finitely presentable, I can always take G\mathcal{G} to consist only of finitely presentable objects.

It's still not clear to me how to construct the extension, though.

view this post on Zulip Martti Karvonen (Mar 14 2025 at 08:56):

Morgan Rogers (he/him) said:

Is there a reason you expect this to be possible for general gg? The simplest case is to take V\mathcal{V} to be Set\mathrm{Set} and C\mathcal{C} to be the one-object category. Then cotensoring is exponentiation, and you're asking given XYZX\to Y^Z if there is a canonical extension to XZYZX^Z \to Y^Z. I don't think there is an extension you could define here that is natural in all three variables.

Given f ⁣:XYZf\colon X\to Y^Z, can't we extend it to fˉ ⁣:XZYZ\bar{f}\colon X^Z \to Y^Z by defining for gXZg\in X^Z the function fˉ(g)YZ\bar{f}(g)\in Y^Z as fˉ(g)(z):=f(g(z))(z)\bar{f}(g)(z):=f(g(z))(z)? Seems like a canonical choice to me, although it might fail to be natural in all of the three variables as you say.

view this post on Zulip Morgan Rogers (he/him) (Mar 14 2025 at 09:57):

That's a sensible answer, I hadn't thought about diagonalizing. Nice one @Martti Karvonen

view this post on Zulip Morgan Rogers (he/him) (Mar 14 2025 at 09:59):

Morgan Rogers (he/him) said:

My point was rather that if gg is not a singleton, and more specifically if gg is not finite, then I don't think the extension property holds in the unenriched case, but here you're saying it should hold for arbitrary gg!

In case it wasn't clear why I don't expect it to hold for arbitrary gg, I think this would imply that sheafification preserves some infinite powers of presheaves, and this shouldn't be the case in general.

view this post on Zulip Ari Rosenfield (she/her) (Mar 14 2025 at 15:12):

Thank you so much @Morgan Rogers (he/him) and @Martti Karvonen for helping me think through this!

Given f ⁣:XYZf ⁣:X→YZ, can't we extend it to fˉ ⁣:XZYZfˉ ⁣:XZ→YZ by defining for gXZg∈XZ the function fˉ(g)YZfˉ(g)∈YZ as fˉ(g)(z):=f(g(z))(z)fˉ(g)(z):=f(g(z))(z)? Seems like a canonical choice to me, although it might fail to be natural in all of the three variables as you say.

Yes, I think maybe this is a special case of the following? As long as V\mathcal{V} has a terminal object 1\mathbf{1} (as in the case of sets), given α:R{g,P}\alpha : R \to \{g,P\}, naturality of cotensoring gives a map {g,R}{1,R}R\{g,R\} \to \{\mathbf{1},R\} \cong R, which can then be composed with α\alpha. This would solve my problem, actually. (Edit: this is slightly wrong - I actually don't know that {1,R}R\{\mathbf{1},R\} \cong R unless 1\mathbf{1} is the monoidal unit.)

But maybe I'm confused about something, since this seems to work for any gg?

view this post on Zulip Ari Rosenfield (she/her) (Mar 14 2025 at 15:13):

In case it wasn't clear why I don't expect it to hold for arbitrary gg, I think this would imply that sheafification preserves some infinite powers of presheaves, and this shouldn't be the case in general.

Could you say more about what compactness assumptions you wanted to make on gg/why they would let me avoid this problem?

view this post on Zulip Morgan Rogers (he/him) (Mar 14 2025 at 16:24):

Wait never mind, I had forgotten how weak preservation of powers actually is (or rather, I had forgotten that it was automatic for sheafification). There is a standard result (Proposition 1 in Section III.6 of Sheaves in Geometry and Logic) that if FF is a sheaf and PP a presheaf then the exponential FPF^P is a sheaf too. In particular this applies to the case where PP is the constant presheaf at some set gg, when this coincides with {g,F}\{g,F\}. So ignore my complaints.

view this post on Zulip Ari Rosenfield (she/her) (Mar 14 2025 at 17:23):

Yes, I think maybe this is a special case of the following? As long as VV has a terminal object 11 (as in the case of sets), given α:Rg,Pα:R→{g,P}, naturality of cotensoring gives a map g,R1,RR{g,R}→{1,R}≅R, which can then be composed with αα. This would solve my problem, actually.

Oh no, this argument only works when the monoidal unit in V\mathcal{V} happens to be terminal :sad: