Bicategories in univalent foundations
author
Ahrens, Benedikt
Frumin, Dan
Maggesi, Marco
Veltri, Niccolo
Weide, Niels van der
statement of authorship
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide
source
arXiv.org
journal volume number month
arXiv:1903.01152
year of publication
2020
pages
32 p
url
https://doi.org/10.4230/LIPIcs.FSCD.2019.5
subject term
kategooriad (matemaatika)
matemaatika
keyword
bicategory theory
univalent mathematics
dependent type theory
Coq
ISSN
2331-8422
notes
Bibliogr.: 21 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
6.7
TTÜ department
tarkvarateaduse instituut
language
inglise