Where stands functoriality today?