Regular extensions of iterative algebras and metric interpretations

An algebra is said to be iterative if every nontrivial finite system of fixed-point equations has unique solution. The paper discusses possibilities of finding topological structure for a given iterative algebra so that the unique solutio