@article{https://doi.org/10.48550/arxiv.1903.01152,
doi = {10.48550/ARXIV.1903.01152},
url = {https://arxiv.org/abs/1903.01152},
author = {Ahrens,
Benedikt and Frumin,
Dan and Maggesi,
Marco and Veltri,
Niccolò and van der Weide,
Niels},
keywords = {Category Theory (math.CT),
Logic in Computer Science (cs.LO),
FOS: Mathematics,
FOS: Mathematics,
FOS: Computer and information sciences,
FOS: Computer and information sciences},
title = {Bicategories in Univalent Foundations},
publisher = {arXiv},
year = {2019},
copyright = {Creative Commons Attribution 4.0 International} }