Oberwolfach Reports


Full-Text PDF (393 KB) | Introduction as PDF | Metadata | Table of Contents | OWR summary
Volume 10, Issue 2, 2013, pp. 1495–1531
DOI: 10.4171/OWR/2013/25

Published online: 2014-03-17

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

Mohamed Barakat[1], Thierry Coquand[2] and Alban Quadrat[3]

(1) Universit├Ąt Siegen, Germany
(2) Chalmers University of Technology, Gothenburg, Sweden
(3) INRIA Saclay, Gif-Sur-Yvette Cedex, France

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.

No keywords available for this article.

Barakat Mohamed, Coquand Thierry, Quadrat Alban: Mini-Workshop: Constructive Homological Algebra with Applications to Coherent Sheaves and Control Theory. Oberwolfach Rep. 10 (2013), 1495-1531. doi: 10.4171/OWR/2013/25