Technology, Artificial Intelligence, Machine Learning, Data Science, Deep Learning.
trees. The main contribution is a categorical proof that the free profinite clone on a ranked alphabet is isomorphic, as a Stone-enriched clone, to the clone of profinite λ-terms of Church type. Moreover, we also prove a parametricity theorem on families of semantic elements which provides another