Syntactic and global semigroup theory: a synthesis approach