Uno concluye que el conocimiento de la 'estructura' está acotado por lo que podemos decir sobre los funtores representables en "C".