Informatique théorique ct.category-theory

3

Soit CCC un CCC . Soit (×)(×)(\times) être un bifoncteur produit sur CCC . Comme Cat est CCC, nous pouvons 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 Catégorie de foncteurs C⇒CC⇒CC \Rightarrow C a une structure monoïdale habituelle. …

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

1

Existe-t-il une relation entre l'algèbre / calcul relationnel et la théorie des catégories?

Je connais au moins deux approches théoriques différentes pour comprendre les bases de données relationnelles: l'algèbre / calcul relationnel de Codd et la théorie des catégories. Existe-t-il une relation entre ces deux approches? Sont-ils en quelque sorte équivalents? Existe-t-il des travaux d'introduction expliquant comment ces deux cadres expliquent les bases …

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

2

Statu quo de la théorie des catégories et des monades dans la recherche théorique en informatique?

Contexte . Je suis un étudiant de baccalauréat qui s'intéresse à la recherche liée à la théorie des catégories, aux monades et à Haskell, et je veux trouver un sujet pour ma thèse de baccalauréat dans ce domaine. J'ai regardé le papier Eugenio Moggi , « Notions de calculs et …

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

3

«La» catégorie des machines de Turing?

Avertissement: je connais très peu la théorie de la complexité. Je suis désolé mais il n'y a vraiment aucun moyen de poser cette question sans être (terriblement) concis: Quels devraient être les morphismes dans "la" catégorie des machines de Turing? Ceci est évidemment subjectif et dépend de l'interprétation que l'on …

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

2

Intégralité totale vs Abstraction complète d'une traduction de programme

Les efforts de vérification du compilateur se résument souvent à prouver que le compilateur est complètement abstrait: qu'il préserve et reflète les équivalences (contextuelles). Au lieu de fournir des preuves d'abstraction complètes, certains travaux récents de vérification du compilateur (basés sur des catégories) par Hasegawa [ 1 , 2 ] …

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

2

Théorie de la preuve des biproduits?

Une catégorie a des sous - produits lorsque les mêmes objets sont à la fois les produits et coproduits. Quelqu'un a-t-il étudié la théorie de la preuve des catégories avec des biproduits? L'exemple le plus connu est peut-être la catégorie des espaces vectoriels, dans laquelle la somme directe et les …

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

2

Traitement théorique par catégorie des différences, des correctifs et des fusions?

Existe-t-il une catégorie de correctifs qui ressemble à peu près à ceci: Les objets sont des chaînes dans un alphabet de base Les morphismes sont des scripts d'édition ("diffs" ou "patches") entre les chaînes Je m'intéresse à ces questions: Existe-t-il une notion catégorique de script d'édition minimal ? Peut-être que …

14 ct.category-theory edit-distance

1

Une description mathématique (catégorique) des classes de type

Un langage fonctionnel peut être considéré comme une catégorie où ses objets sont des types et des fonctions de morphismes entre eux. Comment les classes de types s'intègrent-elles dans ce modèle? Je suppose que nous ne devons considérer que les implémentations qui satisfont à la contrainte de la plupart des …

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

2

Théorie des catégories et analyseurs - références recherchées

Étant donné que je suis intéressé par les analyseurs (principalement les grammaires d'expression des analyseurs), je me demande s'il y a du travail qui donne un traitement catégorique de l'analyse. Toute référence sur les applications de la théorie des catégories à l'analyse syntaxique est très appréciée. Meilleur,

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

3

Utilisations des catégories

Je ne suis pas un informaticien théorique. Je suis un théoricien stable de l'homotopie utilisant -categories. J'ai vu des applications de la théorie des catégories et de la théorie des topos à l'informatique théorique, et je me demandais s'il y avait un moyen d'utiliser -catégories (et de préférence pour moi, …

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

2

Existe-t-il des formulations théoriques de nœuds de problèmes complets de NP?

Existe-t-il des problèmes NP complets (ou même NP-durs, ou NP) qui ont de bonnes propriétés topologiques à étudier? Les problèmes NP ont-ils des formulations théoriques de nœuds? Nous connaissons les résultats # du polynôme de Jones. Les problèmes de graphes (plongements?), En particulier les colorations des graphiques, peuvent avoir de …

12 ct.category-theory np

1

Catégories algébriquement compactes

J'ai lu l'article de Freyd «Catégories algébriquement complètes» dans le célèbre Como90 et j'ai deux questions sur la notion de compacité algébrique qu'il a définie dans cet article. (Si vous n'êtes pas familier avec la définition, la voici: une catégorie est appelée algébriquement compacte si chaque endofuncteur a une algèbre …

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

2

Y a-t-il une telle chose comme un homomorphisme faible de la houille?

Étant donné un endofoncteur , nous pouvons définir les fonctions d'observation comme des fonctions polymorphes pour tout F -coalgebra, c'est-à-dire que obs est défini pour tout F -coalgebra \ langle A, c: A \ rightarrow FA \ rangle . obs: \ forall \ langle A, c \ rangle. A \ …

12 ct.category-theory

1

Quand les espaces de cohérence ont-ils des retraits et des poussées?

\newcommand{\symp}{\Bumpeq} Une relation de cohérence sur un ensemble X est une relation réflexive et symétrique. Un espace de cohérence est une paire (X, \ symp_X) , et un morphisme f: X \ à Y entre les espaces de cohérence est une relation f \ subseteq X \ fois Y telle …

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

1

Pourquoi des graphes réflexifs pour la paramétricité?

En regardant les modèles de polymorphisme paramétrique, je suis curieux de savoir pourquoi les catégories de graphe réflexif sont utilisées? En particulier, pourquoi n'incluent-ils pas la composition relationnelle? En regardant les modèles, ils semblent tous soutenir une notion naturelle de composition relationnelle: x ( R ; S) z⟺∃ y. x …

11 ct.category-theory parametricity logical-relations

Questions marquées «ct.category-theory»