Mini-workshop: Constructive homological algebra with applications to coherent sheaves and control theory. Abstracts from the mini-workshop held May 12--18, 2013.

DOI10.4171/OWR/2013/25zbMATH Open1349.00053OpenAlexW2083398554MaRDI QIDQ343397FDOQ343397

Authors:

Publication date: 27 November 2016

Published in: Oberwolfach Reports (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4171/owr/2013/25

Recommendations

• Mini-workshop: Formal methods in commutative algebra: a view toward constructive homological algebra. Abstracts from the mini-workshop held November 8th -- November 14th, 2009
• Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011.
• Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
• Homotopy theory. Abstracts from the workshop held September 18--24, 2011.
• Towards Constructive Homological Algebra in Type Theory

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Localization of categories, calculus of fractions (18E35) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06) Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to category theory (18-06) Proceedings, conferences, collections, etc. pertaining to commutative algebra (13-06) Homological methods in commutative ring theory (13Dxx) Computational aspects in algebraic geometry (14Qxx) Homological algebra in category theory, derived categories and functors (18Gxx)

Cites Work

• Cohomology and toric varieties and local cohomology with monomial supports

Cited In (2)

• Mini-workshop: Formal methods in commutative algebra: a view toward constructive homological algebra. Abstracts from the mini-workshop held November 8th -- November 14th, 2009
• Functor categories, model theory, algebraic analysis and constructive methods. FCMTCCT2 2022, Almería, Spain, July 11--15. Invited and selected contributions (to appear)

Uses Software

• Macaulay2

This page was built for publication: Mini-workshop: Constructive homological algebra with applications to coherent sheaves and control theory. Abstracts from the mini-workshop held May 12--18, 2013.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q343397)