Implicit algebraic geometry on categories of universal algebras (Q1759277): Difference between revisions

In previous papers, the author extended basic notions of algebraic geometry for universal algebras, as developed in particular by \textit{B. Plotkin} and \textit{V. Remeslennikov}, to what he called \textit{conditional} terms and equations. This paper now considers replacing (conditional) terms by implicit operations. An implicit operation on a category \(\mathcal K\) of universal algebras is often defined as natural transformations \(f : U^n \to U\), where \(U\) denotes the forgetful functor \(U : \mathcal K \to \mathcal Set\). The author adds to this the condition that \(f_A (a_1,\dots,a_n)\) is in the subalgebra generated by \(A\) for every \(\{a_1,\dots,a_n\}\) in every \(A \in \mathcal K\) (Note: This is presumably to cover the cases where \(\mathcal K\) is not closed under subalgebras. However the main theorems of the paper are for subalgebra-closed categories). The main results in the paper extend previously known concepts and results on geometric comparability of algebras for pseudovarieties and pseudo-universal classes.