On factorisation systems for Ord-enriched categories and categories of partial maps

From MaRDI portal
Publication:5025074