The supremum and infimum of partially ordered objects in a topos
scientific article; zbMATH DE number 6634883