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

First Page		Document Content
Date: 2018-08-13 11:55:33		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 Add to Reading List Source URL: hott-uf.github.io Download Document from Source Website File Size: 119,26 KB Share Document on Facebook