Запитання з тегом «equivalence»

Q1. Коли ми можемо сказати, що дві програми (написані якоюсь мовою програмування, як C ++) відрізняються? Перша крайність - сказати, що дві програми є рівнозначними, якщо вони однакові. Інша крайність - сказати, що дві програми еквівалентні, якщо вони обчислюють ту саму функцію (або демонструють однакову поведінку, що спостерігається в подібних …

15 pl.programming-languages  semantics  equivalence 

Скажімо, я працюю в теорії типу гомотопії, і мої єдині об'єкти дослідження - це звичайні категорії. Рівнозначення тут дають функтори Ж: 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}. Існують природні ізоморфізмиα : n a …

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

Кольоровий графік можна описати як кортеж де - графік, а - забарвлення. Кажуть, що два кольорові графіки та є ізоморфними, якщо існує ізоморфізм таким чином, що забарвлення підкоряється, тобто для всіх .(G,c)(G,c)(G,c)GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}(G,c)(G,c)(G,c)(H,d)(H,d)(H,d)π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H)c(v)=d(π(v))c(v)=d(π(v))c(v) = d(\pi(v))v∈V(G)v∈V(G)v \in V(G) Це поняття фіксує ізоморфізм кольорових графіків …

9 terminology  graph-isomorphism  equivalence