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.