Show simple item record

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

dc.date.accessioned2019-10-24T14:41:59Z
dc.date.available2019-10-24T14:41:59Z
dc.date.issued2013
dc.identifier.urihttp://publications.mfo.de/handle/mfo/3357
dc.description.abstractThe 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.
dc.titleMini-Workshop: Constructive Homological Algebra with Applications to Coherent Sheaves and Control Theory
dc.rights.licenseDieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.de
dc.rights.licenseThis document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.en
dc.identifier.doi10.14760/OWR-2013-25
local.series.idOWR-2013-25
local.subject.msc18
local.subject.msc14
local.subject.msc13
local.sortindex797
local.date-range12 May - 18 May 2013
local.workshopcode1320b
local.workshoptitleMini-Workshop: Constructive Homological Algebra with Applications to Coherent Sheaves and Control Theory
local.organizersMohamed Barakat, Kaiserslautern; Thierry Coquand, Göteborg; Alban Quadrat, Gif-sur-Yvette
local.report-nameWorkshop Report 2013,25
local.opc-photo-id1320b
local.publishers-doi10.4171/OWR/2013/25
local.ems-referenceBarakat 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


Files in this item

Thumbnail
Report

This item appears in the following Collection(s)

Show simple item record