Perguntas com a marcação «ct.category-theory»

Seja um CCC . Deixe ser um produto em bifunctor . Como Cat é CCC, podemos curry :CCC(×)(×)(\times)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 A categoria de funções possui estrutura monoidal usual. C⇒CC⇒CC \Rightarrow C Um monóide em é um …

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

Estou ciente de pelo menos duas abordagens teóricas diferentes para entender os bancos de dados relacionais: a álgebra / cálculo relacional de Codd e a teoria das categorias. Existe alguma relação entre essas duas abordagens? Em certo sentido, eles são equivalentes? Existe algum trabalho introdutório explicando como essas duas estruturas …

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

Background . Sou um estudante de bacharel interessado em pesquisas relacionadas à teoria das categorias, mônadas e Haskell, e quero encontrar um tópico para a tese de bacharel nessa área. Eu olhei para o jornal Eugenio Moggi , “ Noções de Computação e Mônadas ”, 1991, e ainda não entendo …

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

Disclaimer: Eu sei muito pouco sobre a teoria da complexidade. Sinto muito, mas não há realmente nenhuma maneira de fazer essa pergunta sem ser (terrivelmente) conciso: Quais devem ser os morfismos na categoria "a" das máquinas de Turing? Isso é obviamente subjetivo e depende da interpretação da teoria, portanto, uma …

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

Os esforços de verificação do compilador geralmente se resumem em provar que o compilador é totalmente abstrato: preserva e reflete equivalências (contextuais). Em vez de fornecer provas completas de abstração, alguns trabalhos recentes de verificação do compilador (baseados em categorias) por Hasegawa [ 1 , 2 ] e Egger et. …

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

Uma categoria possui biprodutos quando os mesmos objetos são os produtos e os coprodutos. Alguém já investigou a teoria da prova de categorias com bioprodutos? Talvez o exemplo mais conhecido seja a categoria de espaços vetoriais, na qual a soma direta e as construções diretas do produto fornecem o mesmo …

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

Existe uma categoria de patches que se parece aproximadamente com isso: Os objetos são cadeias de caracteres em algum alfabeto base Os morfismos são scripts de edição ("diffs" ou "patches") entre as strings Estou interessado nestas perguntas: Existe uma noção categórica de script de edição mínima ? Talvez a categoria …

14 ct.category-theory  edit-distance 

Uma linguagem funcional pode ser vista como uma categoria em que seus objetos são tipos e funções de morfismos entre eles. Como as classes de tipo se encaixam nesse modelo? Suponho que devemos considerar apenas as implementações que satisfazem a restrição que a maioria das classes de tipo possui, mas …

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

Como estou interessado em analisadores (principalmente em gramáticas de expressão do analisador), estou me perguntando se há algum trabalho que forneça um tratamento categórico para a análise. Qualquer referência sobre aplicações da teoria de categorias à análise é altamente apreciada. melhor,

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

Eu não sou um cientista da computação teórico. Sou um teórico estável da homotopia usando -categories. Vi aplicações da teoria das categorias e da teoria topos à ciência da computação teórica, e fiquei imaginando se havia alguma maneira de usar -categories (e de preferência para mim, a teoria da homotopia …

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

Existem problemas completos de NP (ou mesmo NP-difícil ou NP) que possuem boas propriedades topológicas para estudar. Os problemas de PN têm formulações teóricas de nós? Sabemos sobre os resultados # sobre o polinômio de Jones. Problemas gráficos (incorporações?), Especificamente cores dos gráficos, podem ter boas propriedades teóricas dos nós. …

12 ct.category-theory  np 

Li o artigo de Freyd "Algebraically Complete Categories" no famoso Como90 e tenho duas perguntas sobre a noção de compacidade algébrica que ele definiu nesse artigo. (Se você não está familiarizado com a definição, aqui está: Uma categoria é chamada algebricamente compacta se todo endofuncor tiver uma álgebra inicial e …

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

Dado um endofuncor , podemos definir funções de observação como funções polimórficas para qualquer álgebra- , ou seja, é definido para qualquer álgebra- emaranhado . Outra maneira de olhar para as funções de observação é como funções da álgebra final se existir . Obtemos o polimorfismo automaticamente compondo a função …

12 ct.category-theory 

Olhando para os modelos de polimorfismo paramétrico, estou curioso para saber por que são usadas categorias de gráfico reflexivo ? Em particular, por que eles não incluem composição relacional? Ao olhar para os modelos, todos parecem apoiar uma noção natural de composição relacional: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge …

11 ct.category-theory  parametricity  logical-relations 

Em Teoremas de graça! , Wadler diz que a caracterização da parametricidade pode ser re-expressa em termos de transformações naturais frouxas e isso será objeto de outro artigo. A que papel ele está se referindo? A abordagem categórica da parametericidade que conheço utiliza transformações dinaturais, como no polimorfismo funcional de …

11 reference-request  ct.category-theory  parametricity