Tensor Product of Two-Sided Fibrations

References

• Von Glehn, Tamara. “Polynomials and Models of Type Theory,” June 30, 2015. https://doi.org/10.17863/CAM.16245.