Bicategories in univalent foundations

Benedikt Ahrens*, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels Van Der Weide

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

106 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Bicategories in univalent foundations'. Together they form a unique fingerprint.

Keyphrases

Mathematics