En terminología de la teoría de categorías, un mapa que preserva la estructura es llamado morfismo.