“From Grave’ seminar to derived categories”, ЗПІМ, vol. 20, no. 1, pp. 698–711, Aug. 2023, doi: 10.3842/trim.v20n1.526.