안정 무한 범주와 6-functor formalisms으로 다이렉트로 가는 교재가 필요헌디