algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety multi-sorted algebras; categories; logical geometry; affine spaces; universal algebraic geometry; Halmos algebra; type of a point 