-범주론적 일반화 랑랜드 대응 III: -스택화 | Synapse