Describir: La computabilidad clásica desde un enfoque estructural. un resultado acerca de la existencia de morfismos no computables