PreprintVerified via arxivPoincare Duality in abstract 6-functor formalismsBogdan Zavyalov2023References Cited by