Q1 Quando podemos dizer que dois programas (escritos em alguma linguagem de programação como C ++) são diferentes? O primeiro extremo é dizer que dois programas são equivalentes se forem idênticos. O outro extremo é dizer que dois programas são equivalentes se eles computarem a mesma função (ou...
Digamos que eu trabalho na teoria dos tipos de homotopia e meus únicos objetos de estudo são categorias convencionais. Equivalências aqui são dadas por functors e G : C ⟶ D que fornecem equivalências das categorias C ≃ D . Existem isomorfismos naturais α : n a t ( F G , 1 C ) e β : n a t ( G F , 1...
Um gráfico colorido pode ser descrito como tupla (G,c)(G,c)(G,c) onde GGG é um gráfico c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N} é a coloração. Diz-se que dois gráficos coloridos (G,c)(G,c)(G,c) e (H,d)(H,d)(H,d) são isomórficos se existir um isomorfismo π:V(G)→V(H)π:V(G)→V(H)\pi : V(G)...