Galois connection for multiple-output operations (Q1652848)

The paper presents a generalization of a special type of Galois connection, namely, given a base set \(B\), instead of classes of operations \(f:B^n\longrightarrow B\), the partial, multi-valued functions \(f:B^n\longrightarrow B^m\), \(m\geq 0\) are considered. Functions \(f:B^k\longrightarrow M\) valued in partially ordered monoids \(M\) as invariants are also used. As main results the paper presents: {\parindent=0.7cm\begin{itemize}\item[(1)] the main Galois connection between partial multi-valued multi-output functions and pomonoid-valued weight functions in its most general form; \item[(2)] variants of Galois connections for restricted classes of multi-output functions or weights; \item[(3)] Galois connections for classes of total multi-output functions; \item[(4)] a description of finitely generated subdirectly irreducible commutative monoids. \end{itemize}}