1: \begin{abstract}

2:   We prove that commutative semirings in a cartesian closed

3:   presentable $\infty$-category, as defined by Groth, Gepner, and

4:   Nikolaus, are equivalent to product-preserving functors from the

5:   $(2,1)$-category of bispans of finite sets. In other words, we

6:   identify the latter as the Lawvere theory for commutative semirings

7:   in the $\infty$-categorical context. This implies that connective

8:   commutative ring spectra can be described as grouplike

9:   product-preserving functors from bispans of finite sets to spaces. A

10:   key part of the proof is a localization result for

11:   $\infty$-categories of spans, and more generally for

12:   $\infty$-categories with factorization systems, that may be of

13:   independent interest.

14: \end{abstract}

15: