Dualizing sup-preserving endomaps of a complete lattice

Implications, coimplications and left semi-uninorms on a complete lattice

In this paper, we firstly show that the $N$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $N$-dual operation. As a dual result, the $N$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

Sup-Lattice 2-Forms and Quantales

Dualizing Complexes

implications, coimplications and left semi-uninorms on a complete lattice

in this paper, we firstly show that the $n$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $n$-dual operation. as a dual result, the $n$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

Applications of Sup-lattice Enriched Category Theory to Sheaf Theory

Grothendieck toposes are studied via the process of taking the associated Sl-enriched category of relations. It is shown that this process is adjoint to that of taking the topos of sheaves of an abstract category of relations. As a result, pullback and comma toposes are calculated in a new way. The calculations are used to give a new characterization of localic morphisms and to derive interpola...