Closedness of the category of liminf complete fuzzy orders
It is shown that the category of liminf complete fuzzy orders and liminf continuous maps valued in the complete residuated lattice based on a continuous t-norm on the unit interval is monoidal closed; and that this category is Cartesian closed if and only if the t-norm is the minimum.
liminf completeness fuzzy order t-norm category theory monoidal closed category cartesian closed category