Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators