«equivalence» etiketlenmiş sorular

S1. İki programın (C ++ gibi bazı programlama dillerinde yazılmış) farklı olduğunu ne zaman söyleyebiliriz? İlk uç nokta, iki programın aynı olması durumunda eşdeğer olduğunu söylemektir. Diğer uç nokta, aynı işlevi hesaplayan (veya benzer ortamlarda aynı gözlemlenebilir davranışı gösteren) iki programın eşdeğer olduğunu söylemektir. Ancak bunlar iyi değildir: ilkeliği kontrol …

15 pl.programming-languages  semantics  equivalence 

Diyelim ki, homotopi türü kuramında çalışıyorum ve tek çalışma nesnelerim geleneksel kategoriler. Buradaki eşdeğerlikler, kategorilerinin denkliklerini sağlayan ve . ve doğal izomorfizmler vardır böylece bu işlev ve "ters" işlev birim işleve dönüştürülür.F:D⟶CF:D⟶CF:{\bf D}\longrightarrow{\bf C}G:C⟶DG:C⟶DG:{\bf C}\longrightarrow{\bf D} C≃DC≃D{\bf C} \simeq {\bf D}α:nat(FG,1C)α:nat(FG,1C)\alpha:\mathrm{nat}(FG,1_{\bf C})β:nat(GF,1D)β:nat(GF,1D)\beta:\mathrm{nat}(GF,1_{\bf D}) Şimdi tekdüzelik , kategoriler hakkında konuşmayı seçtiğim …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

Renkli bir grafik tuple olarak tanımlanabilir (G,c)(G,c)(G,c) nerede GGG bir grafik ve c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}renklendirmedir. İki renkli grafik(G,c)(G,c)(G,c) ve (H,d)(H,d)(H,d) bir izomorfizm varsa izomorfik olduğu söylenir π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H) renklendirmeye uyulması, yani c(v)=d(π(v))c(v)=d(π(v))c(v) = d(\pi(v)) hepsi için v∈V(G)v∈V(G)v \in V(G). Bu düşünce, renkli grafiklerin izomorfizmini çok …

9 terminology  graph-isomorphism  equivalence