ScalingStacks

0NYU

Definition 6.4. Let BordSpaces{\rm Bord}_{\rm Spaces} denote the bordism (∞,1)(\infty,1)-category of spaces, with 1-morphisms from UU to VV given by spaces TU​VT_{UV} with maps U→TU​V←VU\rightarrow T_{UV}\leftarrow V, and composition of T:U→VT:U\to V and T′:V→WT^{\prime}:V\to W given by the homotopy pushout of spaces

T′∘T=T∐VT′.T^{\prime}\circ T=T\amalg_{V}T^{\prime}.

We endow BordSpaces{\rm Bord}_{\rm Spaces} with a symmetric monoidal structure given by disjoint union.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

David Ben-Zvi, John Francis, David Nadler

Original source: arXiv:0805.0157v5