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 : UAdd to Reading ListSource URL: hott-uf.github.ioDownload Document from Source WebsiteFile Size: 119,26 KBShare Document on Facebook |