Bicategories in univalent foundations
autor
Ahrens, Benedikt
Frumin, Dan
Maggesi, Marco
Veltri, Niccolo
Weide, Niels van der
vastutusandmed
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide
allikas
arXiv.org
ajakirja aastakäik number kuu
arXiv:1903.01152
ilmumisaasta
2020
leheküljed
32 p
leitav
https://doi.org/10.4230/LIPIcs.FSCD.2019.5
märksõna
kategooriad (matemaatika)
matemaatika
võtmesõna
bicategory theory
univalent mathematics
dependent type theory
Coq
ISSN
2331-8422
märkused
Bibliogr.: 21 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
6.7
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise