Free algebras of topologically enriched multi-sorted equational theories.