An alternative description of the tensor product of sup-lattices is given with yet another description provided for the tensor product in the special case of CCD sup-lattices. In the course of developing the latter, properties of sup-preserving functions and the totally below relation are generalized to not-necessarily-complete ordered sets.
Keywords: adjunction, tensor product, totally below, CCD, idempotent
2000 MSC: 18A25
Theory and Applications of Categories,
Vol. 24, 2010,
No. 11, pp 266-287.
http://www.tac.mta.ca/tac/volumes/24/11/24-11.dvi
http://www.tac.mta.ca/tac/volumes/24/11/24-11.ps
http://www.tac.mta.ca/tac/volumes/24/11/24-11.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/24/11/24-11.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/24/11/24-11.ps
Revised 2010-06-10. Original version at
http://www.tac.mta.ca/tac/volumes/24/11/24-11a.dvi