If 𝒜 is a concrete monoidal abelian category, show that sheaves with values in 𝒜 also form a monoidal abelian category. Prove the tensor-hom adjunction.
In fact, we only need to be able to tensor a condensed abelian group with an ordinary abelian group. This is easier: it can be done componentwise.
If
𝒜is a concrete monoidal abelian category, show that sheaves with values in𝒜also form a monoidal abelian category. Prove the tensor-hom adjunction.In fact, we only need to be able to tensor a condensed abelian group with an ordinary abelian group. This is easier: it can be done componentwise.