https://profilbaru.com/en/Koszul_duality