Q1. Quand peut-on dire que deux programmes (écrits dans certains langages de programmation comme C ++) sont différents? Le premier extrême est de dire que deux programmes sont équivalents s'ils sont identiques. L'autre extrême est de dire que deux programmes sont équivalents s'ils calculent la même...
Disons que je travaille dans la théorie des types d'homotopie et que mes seuls objets d'étude sont des catégories conventionnelles. Equivalences ici sont donnés par foncteurs et G : C ⟶ D qui fournissent des équivalences de catégories C ≃ D . Il existe des isomorphismes naturels α : n a t ( F G , 1...
Un graphique coloré peut être décrit comme un tuple (G,c)(G,c)(G,c) où GGG est un graphique et c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N} est la coloration. On dit que deux graphes colorés (G,c)(G,c)(G,c) et (H,d)(H,d)(H,d) sont isomorphes s'il existe un isomorphisme π:V(G)→V(H)π:V(G)→V(H)\pi...