«equivalence» 태그된 질문

Q1. 두 개의 프로그램 (C ++과 같은 프로그래밍 언어로 작성)이 언제 다르다고 말할 수 있습니까? 첫 번째 극단은 두 프로그램이 동일하다면 동일하다는 것입니다. 다른 극단적 인 점은 두 개의 프로그램이 동일한 기능을 계산할 때 동등하다는 것입니다 (또는 유사한 환경에서 동일한 관찰 가능한 동작을 보여줍니다). 그러나 이것들은 좋지 않습니다. 우선 순위를 …

15 pl.programming-languages  semantics  equivalence 

내가 homotopy type 이론 에서 일하고 나의 유일한 연구 대상은 일반적인 범주 라고 가정 해 봅시다 . 여기에서 등가는 functors에 의해 제공됩니다 에프: D ⟶ C에프:디⟶씨F:{\bf D}\longrightarrow{\bf C} 과 G : C ⟶ D지:씨⟶디G:{\bf C}\longrightarrow{\bf D}카테고리의 동등성 을 제공 하는 C ≃ D씨≃디{\bf C} \simeq {\bf D}. 자연적인 동형이 존재합니다α …

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

컬러 그래프는 튜플로 설명 할 수 있습니다 (G,c)(G,c)(G,c) 어디 GGG 그래프이며 c: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