Ahrens, B., Frumin, D., Maggesi, M., Veltri, N. et al.

täiskirje prindi

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

ISSN

2331-8422

märkused

Bibliogr.: 21 ref

Open Access

teaduspublikatsioon

keel

inglise

Märksõnad ja võtmesõnad

märksõna

kategooriad (matemaatika)

matemaatika

võtmesõna

bicategory theory

univalent mathematics

dependent type theory

Coq

Teaduspublikatsiooni meetrika

klassifikaator

6.7

TalTechi üksused

TTÜ struktuuriüksus

tarkvarateaduse instituut

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