Tensor Products of Sup-Lattices and Generalized Sup-Arrows
Toby Kenney, Richard J. Wood · Theory and applications of categories · 2010
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.