fact: Variable sign: Signature.
imports: MathClasses.interfaces.abstract_algebra MathClasses.interfaces.universal_algebra MathClasses.interfaces.functors MathClasses.theory.ua_homomorphisms MathClasses.theory.categories MathClasses.categories.setoids MathClasses.categories.product MathClasses.categories.algebras