Homotopical commutative rings and bispans

Bastiaan Cnossen, Rune Haugseng, Tobias Lenz +1

We prove that commutative semirings in a cartesian closed presentable $\infty$-category, as defined by Groth, Gepner, and Nikolaus, are equivalent to product-preserving functors fr…