Preguntas etiquetadas con ct.category-theory

Deje que CCC sea ​​un CCC . Vamos a (×)(×)(\times) sea un producto en bifuntor CCC . Como Cat es CCC, podemos curry (×)(×)(\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 La categoría de functor C⇒CC⇒CC \Rightarrow C tiene una …

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

Conozco al menos dos enfoques teóricos diferentes para comprender las bases de datos relacionales: álgebra / cálculo relacional de Codd y teoría de categorías. ¿Hay alguna relación entre estos dos enfoques? ¿Son en algún sentido equivalentes? ¿Existe algún trabajo introductorio que explique cómo ambos marcos explican las bases de datos …

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

Antecedentes . Soy un estudiante de licenciatura que está interesado en investigaciones relacionadas con la teoría de categorías, mónadas y Haskell, y quiero encontrar un tema para mi tesis de licenciatura en esa área. He mirado el papel Eugenio Moggi , " Nociones de computaciones y mónadas ", 1991, y …

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

Descargo de responsabilidad: sé muy poco sobre la teoría de la complejidad. Lo siento, pero realmente no hay forma de hacer esta pregunta sin ser (terriblemente) conciso: ¿Cuáles deberían ser los morfismos en "la" categoría de las máquinas de Turing? Esto es obviamente subjetivo y depende de la propia interpretación …

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

Los esfuerzos de verificación del compilador a menudo se reducen a demostrar que el compilador es completamente abstracto: que conserva y refleja las equivalencias (contextuales). En lugar de proporcionar pruebas de abstracción completas, algunos trabajos de verificación de compiladores recientes (basados ​​en categorías) de Hasegawa [ 1 , 2 ] …

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

Una categoría tiene biproductos cuando los mismos objetos son tanto productos como coproductos. ¿Alguien ha investigado la teoría de la prueba de categorías con biproductos? Quizás el ejemplo más conocido es la categoría de espacios vectoriales, en la que la suma directa y las construcciones de producto directo dan el …

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

¿Existe una categoría de parches que se ve más o menos así? Los objetos son cadenas en algún alfabeto base Los morfismos son guiones de edición ("diffs" o "parches") entre las cadenas Estoy interesado en estas preguntas: ¿Existe una noción categórica de guión de edición mínima ? ¿Quizás la categoría …

14 ct.category-theory  edit-distance 

Un lenguaje funcional puede verse como una categoría donde sus objetos son tipos y las funciones de morfismos entre ellos. ¿Cómo encajan las clases de tipos en este modelo? Supongo que solo deberíamos considerar aquellas implementaciones que satisfacen la restricción que tienen la mayoría de las clases de tipos, pero …

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

Como estoy interesado en los analizadores (principalmente en las gramáticas de expresión de analizadores), me pregunto si hay algún trabajo que ofrezca un tratamiento categórico del análisis. Cualquier referencia sobre aplicaciones de la teoría de categorías al análisis es muy apreciada. Mejor,

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

No soy un informático teórico. Soy un teórico de la homotopía estable que usa -categorías. He visto aplicaciones de la teoría de categorías y la teoría de topos a la informática teórica, y me preguntaba si había alguna forma de utilizar las categorías ∞ (y preferiblemente para mí, la teoría …

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

¿Hay problemas NP completos (o incluso NP-duros o NP) que tienen buenas propiedades topológicas para estudiar. ¿Los problemas NP tienen formulaciones teóricas de nudos? Conocemos los resultados de # sobre el polinomio de Jones. Los problemas de gráficos (¿incrustaciones?), Específicamente los colores de los gráficos pueden verse con buenas propiedades …

12 ct.category-theory  np 

Leí el artículo de Freyd "Algebraically Complete Categories" en el famoso Como90 y tengo dos preguntas sobre la noción de compacidad algebraica que definió en ese artículo. (Si no está familiarizado con la definición, aquí está: una categoría se llama algebraicamente compacta si cada endofunctor tiene un álgebra inicial y …

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

Dado un endofunctor , podemos definir funciones de observación como funciones que son polimórficos para cualquier F -coalgebra, es decir o b s se define para cualquier F -coalgebra ⟨ A , C : A → F A ⟩ . o b s : ∀ ⟨ A , c ⟩ …

12 ct.category-theory 

\newcommand{\symp}{\Bumpeq} Una relación de coherencia en un conjunto X es una relación reflexiva y simétrica. Un espacio de coherencia es un par (X, \ symp_X) , y un morfismo f: X \ a Y entre espacios de coherencia es una relación f \ subseteq X \ veces Y tal que …

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

En cuanto a los modelos de polimorfismo paramétrico, tengo curiosidad por qué se utilizan las categorías de gráficos reflexivos . En particular, ¿por qué no incluyen la composición relacional? Al observar los modelos, todos parecen apoyar una noción natural de composición relacional: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge y …

11 ct.category-theory  parametricity  logical-relations