Making two-dimensional metals the easy way

An incline S is a commutative semiring where r+1=1 for any r∈S. We note that the ideal lattice of an S-semimodule is naturally an S-semimodule and so is its congruence lattice when S is transitive. We prove that the categories of complete S-semimodules, together with dual functor, internal hom and tensor product, is a ⋆-autonomous category. We define the locally and globally maximal congruences which are related to Birkhoff subdirect product...