{"id":"arxiv/2609.17282","url":"https://arxiv.org/abs/2609.17282","tags":["math.AT","math.CT"],"score":0,"title":"Free bifibrations of $(\\infty,2)$-categories, 2-simplicial objects and the walking adjunction","domain":"math.AT","source":"arxiv","authors":["Fernando Abellán"],"reviews":0,"subject":"math.AT","summary":"In this work, we develop a fibrational approach to freely adjoining adjoints in an $(\\infty,2)$-category. We construct the universal bifibration obtained from a cocartesian fibration of $(\\infty,2)$-categories by adjoining cartesian lifts over a chosen class of $1$-morphisms in the base. We then use this construction to provide an explicit model for freely adjoining adjoints, together with a zig-zag formula for the resulting mapping $(\\infty,1)$-categories. As applications, we give a model-independent proof of the universal property of the walking adjunction, providing an alternative proof…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-15","reactions":{}}