TY - RPRT TI - Univalence and completeness of Segal objects AU - Raffael Stenzel PY - 2022 DO - 10.1016/j.jpaa.2022.107254 UR - https://arxiv.org/abs/1911.06640 ID - 1911.06640 ER -