LEADER 04945nam 22006495 450 001 9910300257103321 005 20251230064340.0 010 $a3-319-21284-2 024 7 $a10.1007/978-3-319-21284-5 035 $a(CKB)3710000000515549 035 $a(EBL)4092922 035 $a(SSID)ssj0001585109 035 $a(PQKBManifestationID)16265534 035 $a(PQKBTitleCode)TC0001585109 035 $a(PQKBWorkID)14864560 035 $a(PQKB)10975005 035 $a(DE-He213)978-3-319-21284-5 035 $a(MiAaPQ)EBC4092922 035 $a(PPN)190530944 035 $a(EXLCZ)993710000000515549 100 $a20151112d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aExtended Abstracts Fall 2013 $eGeometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations /$fedited by Maria del Mar González, Paul C. Yang, Nicola Gambino, Joachim Kock 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Birkhäuser,$d2015. 215 $a1 online resource (106 p.) 225 1 $aResearch Perspectives CRM Barcelona,$x2509-7415 300 $aDescription based upon print version of record. 311 08$a3-319-21283-4 320 $aIncludes bibliographical references. 327 $aPart I: Conference on Geometrical Analysis -- Foreword -- A Positive Mass Theorem in Three Dimensional Cauchy-Riemann Geometry -- On the Rigidity of Gradient Ricci Solitons.-  Geometric Structures Modeled on Affine Hypersurfaces and Generalizations of the Einstein-Weyl and Affine Sphere Equations -- Submanifold Conformal Invariants and a Boundary Yamabe Problem -- Variation of the Total Q-Prime Curvature in CR Geometry -- Conformal Invariants from Nullspaces of Conformally Invariant Operators -- Rigidity of Bach-Flat Manifolds -- Uniformizing Surfaces with Conical Singularities -- Recent Results and Open Problems on Conformal Metrics on Rn with Constant Q-Curvature -- Isoperimetric Inequalities for Complete Proper Minimal Submanifolds in Hyperbolic Space -- Total Curvature of Complete Surfaces in Hyperbolic Space -- Constant Scalar Curvature Metrics on Hirzebruch Surfaces -- Isoperimetric Inequalities for Extremal Sobolev Functions -- Part II: Type Theory, Homotopy Theory and Univalent Foundations -- Foreword -- Univalent Categories and the Rezk Completion -- Covering Spaces in Homotopy Type Theory -- Towards a Topological Model of Homotopy Type Theory -- Made-to-Order Weak Factorization Systems -- A Descent Property for the Univalent Foundations -- Classical Field Theory via Cohesive Homotopy Types -- How Intensional is Homotopy Type Theory. 330 $aThe two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Geometric Analysis" (thirteen abstracts) and at the "Conference on Type Theory, Homotopy Theory and Univalent Foundations" (seven abstracts), both held at the Centre de Recerca Matemàtica (CRM) in Barcelona from July 1st to 5th, 2013, and from September 23th to 27th, 2013, respectively. Most of them are brief articles, containing preliminary presentations of new results not yet published in regular research journals. The articles are the result of a direct collaboration between active researchers in the area after working in a dynamic and productive atmosphere. The first part is about Geometric Analysis and Conformal Geometry; this modern field lies at the intersection of many branches of mathematics (Riemannian, Conformal, Complex or Algebraic Geometry, Calculus of Variations, PDE's, etc) and relates directly to the physical world, since many natural phenomena posses an intrinsic geometric content. The second part is about Type Theory, Homotopy Theory and Univalent Foundations. The book is intended for established researchers, as well as for PhD and postdoctoral students who want to learn more about the latest advances in these highly active areas of research. 410 0$aResearch Perspectives CRM Barcelona,$x2509-7415 606 $aGeometry, Differential 606 $aAlgebraic topology 606 $aDifferential Geometry 606 $aAlgebraic Topology 615 0$aGeometry, Differential. 615 0$aAlgebraic topology. 615 14$aDifferential Geometry. 615 24$aAlgebraic Topology. 676 $a516.35 702 $aGonzález$b Maria del Mar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYang$b Paul C$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGambino$b Nicola$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKock$b Joachim$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910300257103321 996 $aExtended abstracts fall 2013$91522729 997 $aUNINA