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

First Page		Document Content
Date: 2015-05-15 06:13:17 Homotopy theory Algebraic topology Category theory Differential topology Homotopy type theory Type theory Fibration Homotopy Homotopical algebra Model category Homotopy fiber		Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM) Add to Reading List Source URL: logica.dmi.unisa.it Download Document from Source Website File Size: 62,83 KB Share Document on Facebook

	Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U DocID: 1um1h - View Document
	Lifting Problems in a Grothendieck Fibration Andrew Swan September 12, 2017 Denition DocID: 1tDLx - View Document
	The symplectic normal space of a Lagrangian fibration Daniel Rodr´ıguez1 ´ ´ 2 Miguel Teixido-Rom DocID: 1sa90 - View Document
	The symplectic normal space of a Lagrangian fibration 1 2 D. Rodr´ıguez & M. Teixido´ -Roma´ n DocID: 1s12n - View Document
	A Lorentz metric on the manifold of positive definite (2 x 2)-matrices and foliations by ellipses Marcos Salvai ´ FaMAF (UNC) – CIEM (CONICET), Cordoba, DocID: 1rsXz - View Document