The span-squares adjunction

George Raptis, Wolfgang Steimle

We show a universal property of the span $\infty$-category that yields a description of functors defined on this category. For this, we view the span construction as a functor from…