Q1. ¿Cuándo podemos decir que dos programas (escritos en algún lenguaje de programación como C ++) son diferentes? El primer extremo es decir que dos programas son equivalentes si son idénticos. El otro extremo es decir que dos programas son equivalentes si calculan la misma función (o muestran el...
Digamos que trabajo en la teoría del tipo de homotopía y mis únicos objetos de estudio son categorías convencionales. Las equivalencias aquí son dadas por los functores y que proporcionan equivalencias de las categorías . Existen isomorfismos naturales y para que este functor y functor "inverso"...
Un gráfico coloreado se puede describir como tupla donde es un gráfico y es el color. Se dice que dos gráficos coloreados y son isomórficos si existe un isomorfismo modo que se obedece el color, es decir, para todos .G c : V ( G ) → N ( G , c ) ( H , d ) π : V ( G ) → V ( H ) c ( v ) = d ( π ( v )...