Dedekind categories with cutoff operators

From MaRDI portal
Publication:549312