The Supremum and Infimum of Partially Ordered Objects in a Topos

LU Tao,WANG Xi-juan,HE Wei
DOI: https://doi.org/10.6040/j.issn.1671-9352.0.2015.430
2016-01-01
Abstract:The concepts of supremum and infimum which are common generalizations of lattice theory is introduced, and some well-known lattice theory into an arbitrary topos is lifted.The main result that an object in a topos is a com-plete partially ordered object if and only if its general subset has supremum and infimum is obtianed.
What problem does this paper attempt to address?