Zigzags and free adjunctions
arXiv:2510.05371
Abstract
We construct an explicit combinatorial model of the functor which adds right adjoints to the morphisms of an -category, and we speculate on possible extensions to higher dimensions.
28 pages. Comments welcome!