Eugenia Cheng : higher categories

https://mathesisuniversalis2.wordpress.com/?attachment_id=661

Advertisements