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

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

scientific publication

teaduspublikatsioon

classifier

6.7

TTÜ department

tarkvarateaduse instituut

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