Closure operators and closure systems on quantaloid-enriched categories

From MaRDI portal
Publication:2859992