Given commutative diagram
A -----f-----> B -----g-----> C ---> 0
| | |
α β γ
| | |
v v v
0 ---> A'-----f'----> B' -----g'----> C
Construct
ker α -> ker β -> ker γ --d--> coker α -> coker β -> coker γ
- φ : ker α -> ker β
- ψ : ker β -> ker γ
- exact φ ψ
- d : ker γ -> coker α
- exact ψ d
- φ' : coker α -> coker β
- exact d φ'
- ψ' : coker β -> coker γ
- exact φ' ψ'
It turns out that snake lemma is part of liquid tensor experiment now, so this repo is archived.