====== 2023-09-20 ======

so you found a secret rule to define the differential, ok, good for you!

how to prove that it works? they are guesses, though very solid ones. 

1. you need to define a functor; 

2. you need to prove an excision lemma, things are only dependent on the boundary, which reduces this question to the many stop case. 

------

ok, why it is about $gl(1|1)$? Vera told me, we have $E,F, H, C$.