Lax monoidal adjunctions, two-variable fibrations and the calculus of mates
Original source: arXiv:2011.08808v5
Author TeX is available. HTML chapter conversion is pending.
Original source · 2011.08808v5
Original source: arXiv:2011.08808v5
Author TeX is available. HTML chapter conversion is pending.
Original source · 2011.08808v5