«ct.category-theory» 태그된 질문

CCC 를 CCC 라고 하자 . (×)(×)(\times) 를 의 제품 보조 기능으로 합시다 CCC. 으로 고양이 CCC는, 우리는 카레 수 (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Functor 범주 에는 일반적인 단일체 구조가 있습니다. C⇒CC⇒CC \Rightarrow C 모노 이드에서 …

17 functional-programming  pl.programming-languages  ct.category-theory 

나는 관계형 데이터베이스를 이해하기위한 적어도 두 가지 다른 이론적 접근법, 즉 Codd의 관계형 대수 / 미적분학 및 범주 이론을 알고 있습니다. 이 두 접근법 사이에 어떤 관계가 있습니까? 그것들은 어떤 의미에서 동등합니까? 이 두 프레임 워크가 관계형 데이터베이스를 설명하는 방법을 설명하는 입문 작업이 있습니까? 배경 : 얼마 전에 나는 데이비드 …

17 reference-request  ct.category-theory  db.databases  relational-structures 

배경 . 저는 범주 이론, 모나드 및 하스켈 관련 연구에 관심이있는 학사 학생이며 해당 분야의 학사 논문 주제를 찾고 싶습니다. 나는 종이를 보았다 Eugenio Moggi ,“ 계산과 모나드의 개념 ”, 1991, 아직 많이 이해하지 못합니다. 아마 그것을 완전히 이해하려면 꽤 시간이 필요할 것입니다. 그러나 공부에 더 많은 시간을 투자하기 전에 …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

면책 조항 : 복잡성 이론에 대해서는 거의 알지 못합니다. 죄송하지만 간결하지 않고이 질문을 할 수있는 방법은 없습니다. 튜링 머신의 "the"카테고리에있는 형태는 무엇입니까? 이것은 명백히 주관적이며 이론에 대한 해석에 달려 있으므로이 질문에 대한 답변은 이상적으로 답변을 뒷받침하는 증거와 추론을 제시해야합니다. 예를 들어 공식 언어가 아닌 튜링 기계 범주를 찾고 있다는 점을 …

16 cc.complexity-theory  turing-machines  ct.category-theory 

컴파일러 검증 노력은 종종 컴파일러가 완전히 추상적임을 입증하기 위해 내려집니다. 즉, (상황적인) 동등성을 보존하고 반영한다는 것입니다. 완전한 추상화 증명을 제공하는 대신, Hasegawa [ 1 , 2 ] 및 Egger et al.의 최근 (범주 기반) 컴파일러 검증 작업 알. [ 3 ]은 다양한 CPS 번역의 완전성을 증명합니다. 질문 : 완전 완전성과 …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

동일한 객체가 제품과 보조 제품 모두 인 경우 카테고리에는 2 등분 이 있습니다. 부산물이있는 카테고리의 증거 이론을 조사한 사람이 있습니까? 가장 잘 알려진 예는 직접 합과 직접 곱 구성이 동일한 벡터 공간을 제공하는 벡터 공간 범주입니다. 이것은 벡터 공간과 선형 맵이 선형 로직의 약간 퇴화 된 모델이라는 것을 의미하며,이 퇴화를 …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

대략 다음과 같은 패치 범주가 있습니까? 객체는 기본 알파벳의 문자열입니다. 형태는 문자열 사이의 편집 스크립트 ( "diffs"또는 "patches")입니다. 다음 질문에 관심이 있습니다. 최소한의 편집 스크립트 라는 범주적인 개념이 있습니까? 패치 범주에 PO 세트가 풍부합니까? 되어 병합 범주 형 pushout 패치? 이것을 문자열에서 트리 (파일 시스템 또는 대수 데이터 유형)로 일반화하는 …

14 ct.category-theory  edit-distance 

기능적 언어는 객체가 유형과 형태 기능인 카테고리 로 볼 수 있습니다 . 이 모델에서 타입 클래스 는 어떻게 맞습니까? 필자는 대부분의 유형 클래스가 가지고 있지만 Haskell로 표현되지 않은 제약 조건을 만족시키는 구현만을 고려해야한다고 가정합니다. 예를 들어, 우리는 Functorwhich fmap id ≡ id및 fmap f . fmap g ≡ fmap (f …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

파서 (주로 파서 표현 문법)에 관심이 있기 때문에, 파싱을 범주 적으로 처리하는 작업이 있는지 궁금합니다. 카테고리 이론의 분석에 대한 모든 참조는 높이 평가됩니다. 베스트,

13 reference-request  functional-programming  ct.category-theory  parsing 

저는 이론적 인 컴퓨터 과학자가 아닙니다. 나는 범주를 사용하는 안정적인 동성애 이론가 입니다. 나는 이론적 컴퓨터 과학에 대한 범주 이론과 이론 이론의 적용을 보았으며 이론적 컴퓨터 과학에서 ∞ 범주 (및 바람직하게는 안정한 동위 원소 이론)를 사용할 수있는 방법이 있는지 궁금합니다 . 나는 HoTT가 그런 응용 프로그램 중 하나라고 생각하지만 HoTT에 …

12 lo.logic  soft-question  ct.category-theory 

연구 할 토폴로지 특성이 좋은 NP complete (또는 NP-hard 또는 NP) 문제가 있습니까? NP 문제에 매듭 이론적 인 공식이 있습니까? 우리 는 Jones 다항식에 대한 # 결과에 대해 알고 있습니다. 그래프 문제 (내장?), 특히 그래프의 채색은 훌륭한 매듭 이론적 특성을 갖는 것으로 볼 수 있습니다. 이 질문은 개방형 질문이며이 주제에 …

12 ct.category-theory  np 

나는 유명한 Como90에서 Freyd의 논문 "대수적으로 완전한 범주"를 읽었으며, 그 논문에서 그가 대수적 압축성이라는 개념에 대해 두 가지 질문을했다. (정의에 익숙하지 않은 경우 다음과 같습니다. 모든 endofunctor에 초기 대수와 정식 동형 인 최종 대수학이있는 경우 범주는 대수 콤팩트라고합니다.) 대수적으로 콤팩트 한 카테고리의 예는 무엇입니까? Freyd는 예를 언급하지만 정의의 조건을 엄밀히 …

12 reference-request  type-theory  ct.category-theory 

주어진 endofunctor , 우리는에 대한 다형성 함수로서 관찰 기능을 정의 할 수 F에 있다 -coalgebra, O를 B 의 어떤 정의되어 F의 -coalgebra ⟨ , C : → F ⟩ . O B S : ∀ ⟨ , C ⟩ . A → B 관측 기능을 보는 또 다른 방법은 최종 …

12 ct.category-theory 

\newcommand{\symp}{\Bumpeq} 세트 X 의 일관성 관계 \ symp_X 는 반사적이고 대칭적인 관계입니다. 코 히어 런스 공간은 쌍 (X, \ symp_X) 이며 코 히어 런스 공간 사이 의 형태 f : X \ to Y 는 관계 f \ subseteq X \ times Y 와 같이 모든 (x, y) \ in …

12 pl.programming-languages  ct.category-theory  domain-theory  linear-logic 

파라 메트릭 다형성의 모델을 보면 왜 반사 그래프 범주가 사용 되는지 궁금합니다 . 특히 관계형 구성을 포함하지 않는 이유는 무엇입니까? 모델을 살펴보면 관계형 구성의 자연스러운 개념을 지원하는 것으로 보입니다. x ( R ; S) z⟺∃ y. x R y∧ y에스지x(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge y S z 반사 …

11 ct.category-theory  parametricity  logical-relations