arXiv:1612.04353 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords galois connection, multiple-output operations, universal algebra, set-up encompasses, finitary operations Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset