Then sifted (∞,1)-colimits preserve finite products.
This is (Lurie, lemma 188.8.131.52).
Every filtered (∞,1)-category is sifted.
This appears as (Lurie, prop. 184.108.40.206).
In a category of commutative monoids in a symmetric monoidal -category, sifted colimits are computed as sifted colimits in the underlying -category.
See commutative monoid in a symmetric monoidal (∞,1)-category for details.
Section 5.5.8 of