On distributivity in higher algebra I: The universal property of bispans

Elden Elmanto, Rune Haugseng

Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categorie…