Report copyright - Identity, Indiscernibility, and Univalence - University of San Diegohome.sandiego.edu/~shulman/papers/hsip-birmingham.pdf · "Negative thinking": Often weird things about higher categories
Please pass captcha verification before submit form