Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra

2009 ◽  
pp. 2731-2770
Author(s):  
Thierry Coquand ◽  
Alban Quadrat ◽  
Ihsen Yengui
Keyword(s):  
Formal Methods ◽  
Commutative Algebra ◽  
Homological Algebra

scholarly journals Poset topology and homological invariants of algebras arising in algebraic combinatorics

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Stuart Margolis ◽  
Franco Saliola ◽  
Benjamin Steinberg
Keyword(s):  
Commutative Algebra ◽  
Homological Algebra ◽  
Algebraic Combinatorics ◽  
Combinatorial Topology ◽  
International Audience ◽  
Homological Invariants ◽  
New Interpretation ◽  
Poset Topology

International audience We present a beautiful interplay between combinatorial topology and homological algebra for a class of monoids that arise naturally in algebraic combinatorics. We explore several applications of this interplay. For instance, we provide a new interpretation of the Leray number of a clique complex in terms of non-commutative algebra.

Sign in / Sign up

Export Citation Format

Share Document