There is for example Lemma 2.13 in arxiv.org/pdf/1801.03467.pdf , in a special case, but in my case the source category is not stable (and not a functor category).
Is Moerdjik model structure on bisimplicial sets (weak equivalences and fibrations are diagonal weak equivalences and diagonal fibrations respectively) cofibrantly generated?
@EspenNielsen Isn't the Day convolution of representable functors the functor represented by the tensor product of the two original objects? That is, the Yoneda embedding is symmetric monoidal.
What do you think the about renaming divisors tag in a way which makes clearer that it is not about divisibility of numbers? I have just made a post on meta about this. Any feedback there or in MO editors' lounge is more than welcome.