Home

Proofs

Library

Chat

Docs

Notif.

Billing

Settings

Sign in

home

library

authors

Nima Rasekh

Nima Rasekh

Publications

Univalence in Higher Category Theory. Nima Rasekh. 2021.