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.
Say is a symmetric monoidal closed category which is bicomplete and locally finitely presentable (so admitting a dense generating set of objects ), and is a -category. Suppose that are -functors.
For an arbitrary , recall that the cotensor in sends an object to . Given a -natural transformation , is there a canonical way to extend to a morphism ?
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.
Is there a reason you expect this to be possible for general ? The simplest case is to take to be and to be the one-object category. Then cotensoring is exponentiation, and you're asking given if there is a canonical extension to . I don't think there is an extension you could define here that is natural in all three variables.
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.
I still am curious if you have come across a case where this extension is possible, since it is an interesting possibility. :innocent:
No, I haven't. For more context, what I'm trying to do is this:
Given , , and as above, a monomorphism , and also given a generalized element , I can take a pullback in , as in region (i) below. I was hoping to find a dashed arrow arising from , but I'm not very fluent with cotensors/generating families yet, so it's a struggle at the moment.
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:
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 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).
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 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
By "enriched coverage," I mean a collection of sieves on objects of 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 is a sheaf for a -coverage if there exists a unique such that for all , , and , this triangle commutes:
I'm trying to prove that any sheaf for is a sheaf for the (enriched) coverage defined on by .
Given such an , if I can find a dashed arrow as in the diagram from a couple messages back, being a sheaf for gives me a unique such that the following commutes:
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 are the same as those for the smallest enriched topology containing . Obvi I need to do this first, though :sweat_smile:
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 is a sheaf for a -coverage if there exists a unique such that for all , , and , this triangle commutes:
The quantifiers seem to be the wrong way around in this sentence: should depend on , no?
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!
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 to be a single-element set. Then for all (i.e., for ), we have . The enriched sheaf condition is then equivalent to saying that for all sieves , we have . If you buy that a matching family for of elements of is the same thing as a natural transformation , 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 -transformations are "matching families of generalized elements of shape " of . For a general , unlike the case of sets, "elements" don't capture enough information about objects anymore, so we have to consider more general shapes.
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 to be a single-element set. Then for all (i.e., for ), we have . The enriched sheaf condition is then equivalent to saying that for all sieves , we have . If you buy that a matching family for of elements of is the same thing as a natural transformation , 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 is not a singleton, and more specifically if 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 !
Well I suppose you did say it had to belong to but I could take that dense generating set to be arbitrarily large.
This would suggest to me that one should impose a compactness condition on the objects , which if strong enough could allow you to construct the extension you're looking for (although the extension probably won't be unique/natural)
Yes, I think since is locally finitely presentable, I can always take to consist only of finitely presentable objects.
It's still not clear to me how to construct the extension, though.
Morgan Rogers (he/him) said:
Is there a reason you expect this to be possible for general ? The simplest case is to take to be and to be the one-object category. Then cotensoring is exponentiation, and you're asking given if there is a canonical extension to . I don't think there is an extension you could define here that is natural in all three variables.
Given , can't we extend it to by defining for the function as ? Seems like a canonical choice to me, although it might fail to be natural in all of the three variables as you say.
That's a sensible answer, I hadn't thought about diagonalizing. Nice one @Martti Karvonen
Morgan Rogers (he/him) said:
My point was rather that if is not a singleton, and more specifically if 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 !
In case it wasn't clear why I don't expect it to hold for arbitrary , I think this would imply that sheafification preserves some infinite powers of presheaves, and this shouldn't be the case in general.
Thank you so much @Morgan Rogers (he/him) and @Martti Karvonen for helping me think through this!
Given , can't we extend it to by defining for the function as ? 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 has a terminal object (as in the case of sets), given , naturality of cotensoring gives a map , which can then be composed with . This would solve my problem, actually. (Edit: this is slightly wrong - I actually don't know that unless is the monoidal unit.)
But maybe I'm confused about something, since this seems to work for any ?
In case it wasn't clear why I don't expect it to hold for arbitrary , 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 /why they would let me avoid this problem?
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 is a sheaf and a presheaf then the exponential is a sheaf too. In particular this applies to the case where is the constant presheaf at some set , when this coincides with . So ignore my complaints.
Yes, I think maybe this is a special case of the following? As long as has a terminal object (as in the case of sets), given , naturality of cotensoring gives a map , which can then be composed with . This would solve my problem, actually.
Oh no, this argument only works when the monoidal unit in happens to be terminal :sad: