JournalsowrVol. 10, No. 2pp. 1495–1531

Mini-Workshop: Constructive Homological Algebra with Applications to Coherent Sheaves and Control Theory

  • Mohamed Barakat

    Universität Siegen, Germany
  • Thierry Coquand

    Chalmers University of Technology, Gothenburg, Sweden
  • Alban Quadrat

    INRIA Saclay, Gif-Sur-Yvette Cedex, France
Mini-Workshop: Constructive Homological Algebra with Applications to Coherent Sheaves and Control Theory cover
Download PDF

A subscription is required to access this article.

Abstract

The main objective of this mini-workshop is to bring together recent developments in constructive homological algebra. There, the current state already reached a level of generality which allows simultaneous application to diverse fields of applied and theoretical mathematics. In this workshop, we want to focus on simultaneous applications to system theory on the one side and to coherent sheaves and their cohomology on the other side. Surprisingly, these apparently remote fields share a considerable amount of common constructive methods. Bringing category theory and homological algebra to the computer leads to questions in logic and type theory. One goal of this workshop is to promote and enlarge this overlap.

Cite this article

Mohamed Barakat, Thierry Coquand, Alban Quadrat, Mini-Workshop: Constructive Homological Algebra with Applications to Coherent Sheaves and Control Theory. Oberwolfach Rep. 10 (2013), no. 2, pp. 1495–1531

DOI 10.4171/OWR/2013/25