正链复形

positive chain complex