Extended Abstracts Fall 2013

Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations

  • Maria del Mar González
  • Paul C. Yang
  • Nicola Gambino
  • Joachim Kock
Conference proceedings

Part of the Trends in Mathematics book series (TM)

Also part of the Research Perspectives CRM Barcelona book sub series (RPCRMB)

Table of contents

  1. Front Matter
    Pages i-vi
  2. Geometrical Analysis

  3. Type Theory, Homotopy Theory, and Univalent Foundations

    1. Front Matter
      Pages 73-74
    2. Benedikt Ahrens, Krzysztof Kapulkin, Michael Shulman
      Pages 75-76
    3. Kuen-Bang Hou
      Pages 77-82
    4. Thomas Streicher
      Pages 105-110
  4. Benedikt Ahrensm, Krzysztof Kapulkin, Michael Shulman
    Pages E1-E1

About these proceedings


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


CR geometry Homotopy Type Theory Univalent Categories Yamabe problem conformal geometry isoperimetric inequality

Editors and affiliations

  • Maria del Mar González
    • 1
  • Paul C. Yang
    • 2
  • Nicola Gambino
    • 3
  • Joachim Kock
    • 4
  1. 1.Departament de Matemàtica AplicadaUniversitat Politècnica de CatalunyaBarcelonaSpain
  2. 2.Department of MathematicsPrinceton UniversityPrincetonUSA
  3. 3.School of MathematicsUniversity of LeedsLeedsUnited Kingdom
  4. 4.Departament de MatemàtiquesUniversitat Autònoma de BarcelonaBarcelonaSpain

Bibliographic information