[00ML][Hau+23] Rune Haugseng; Fabian Hebestreit; Sil Linskens; Joost Nuiten. Lax monoidal adjunctions, two-variable fibrations and the calculus of mates. Proceedings of the London Mathematical Society, 127, 889–957, 2023. Read chapter →
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2