Loading paper
Higher categories of push-pull spans, II: Matrix factorizations | Tomesphere