Descent in \(*\)-autonomous categories

From MaRDI portal
Publication:952244