The supremum and infimum of partially ordered objects in a topos

From MaRDI portal
Publication:2824271