Straightening for lax transformations and adjunctions of \((\infty ,2)\)-categories
摘要
We prove an unstraightening result for lax transformations between functors from an arbitrary