Univalence as a Principle of Logic Steve Awodey October 2016 Abstract It is sometimes convenient or useful in mathematics to treat isomorphic structures as the same. The recently proposed Univalence Axiom for the foundat - Steve Awodey - Document - PDFSEARCH.IO

First Page	Meta Content
	Univalence as a Principle of Logic Steve Awodey October 2016 Abstract It is sometimes convenient or useful in mathematics to treat isomorphic structures as the same. The recently proposed Univalence Axiom for the foundat Add to Reading List Document Date: 2018-02-12 22:13:01 Open Document File Size: 244,18 KB Share Result on Facebook

Univalence as a Principle of Logic Steve Awodey October 2016 Abstract It is sometimes convenient or useful in mathematics to treat isomorphic structures as the same. The recently proposed Univalence Axiom for the foundatAdd to Reading List