CAT1-A1-Complex and Algebra(10/9/23)