full record print

Bicategories in univalent foundations

author
statement of authorship
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide
source
journal volume number month
arXiv:1903.01152
year of publication
pages
32 p
url
ISSN
2331-8422
notes
Bibliogr.: 21 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
Ahrens, B., Frumin, D., Maggesi, M., Veltri, N. et al. Bicategories in univalent foundations // arXiv.org (2020) arXiv:1903.01152, 32 p. https://doi.org/10.4230/LIPIcs.FSCD.2019.5