On distributivity in higher algebra I: the universal property of bispans | Publicación