Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM) - Homotopy fiber - Document - PDFSEARCH.IO

First Page	Meta Content
	Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM) Add to Reading List Document Date: 2015-05-15 06:13:17 Open Document File Size: 62,83 KB Share Result on Facebook

Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM) Add to Reading List