@misc{indiciae0ae72c0f4a31, title = {Univalent Double Categories}, author = {Niels van der Weide and Nima Rasekh and Benedikt Ahrens and Paige Randall North}, year = {2023}, url = {https://arxiv.org/abs/2310.09220}, note = {Source identifier: 2310.09220} }