Extended Abstracts Fall 2013 Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations /

Extended Abstracts Fall 2013 Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations /

The 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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: González, Maria del Mar (Επιμελητής έκδοσης), Yang, Paul C. (Επιμελητής έκδοσης), Gambino, Nicola (Επιμελητής έκδοσης), Kock, Joachim (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Birkhäuser, 2015.
Σειρά:Trends in Mathematics,
Θέματα:
Mathematics.
Differential geometry.
Algebraic topology.
Differential Geometry.
Algebraic Topology.
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Part 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.

Παρόμοια τεκμήρια