Perguntas na teoria das categorias
Eu tenho aprendido alguns pedaços da teoria das categorias. Certamente é uma maneira diferente de ver as coisas. (Resumo muito rudimentar para quem ainda não a viu: a teoria das categorias fornece maneiras de expressar todos os tipos de comportamentos matemáticos apenas em termos de relações...
Eu gostaria de entender Applicativeem termos de teoria de categorias. A documentação para Applicativediz que é um forte monitoral relaxado . Primeiro, a página da Wikipedia sobre functores monoidais diz que um functor monoidal é relaxado ou forte . Portanto, parece-me que uma das fontes está...
Eu tenho uma base muito forte em álgebra, a saber álgebra comutativa, álgebra homológica, teoria de campo, teoria da categoria, e atualmente estou aprendendo geometria algébrica. Sou formado em matemática, com tendência a mudar para a ciência da computação teórica. Tendo em mente os campos...
Aqui está um quebra-cabeça que não consegui resolver. Gostaria de saber se esse problema já é conhecido ou tem uma solução fácil. É possível definir uma bijeção usando as propriedades das categorias fechadas bicartesianas. Andrej Bauer postou uma explicação do que isso significa em seu blog como "...
Faz sentido considerar uma categoria de todos os problemas completos de NP, com morfismos como reduções de politempo entre diferentes instâncias? Alguém já publicou um artigo sobre isso e, em caso afirmativo, onde posso
Grothendieck faleceu . Ele teve um impacto maciço na matemática do século XX, continuando no século XXI. Esta pergunta é feita de alguma forma no estilo / espírito, por exemplo, de Contribuições de Alan Turing para Ciência da Computação . Quais são as principais influências de Grothendieck na...
Provavelmente, a aplicação mais comum de tipos lineares no PL é usá-los para fornecer linguagens que controlam o aliasing (ou seja, um valor linear tem um único ponteiro para ele, mais ou menos). Mas há uma pequena incompatibilidade entre esse uso e os modelos denotacionais típicos da lógica...
Existe uma descrição útil de futuros ou promessas em termos de teoria de categorias? Em particular, qual poderia ser o dual categórico do
Em um Categoria cartesiana Closed ( CCC ), existem os chamados objetos exponenciais , escritos . Quando um CCC é considerado como um modelo da simplesmente-digitada λ -calculus , um objecto exponencial como B Uma caracteriza o espaço função do tipo A de tipo B . Um objecto exponencial é introduzido...
Percebi que as línguas regulares sobre o alfabeto podem ser pensadas naturalmente como um poset e, de fato, uma treliça. Além disso, a concatenação junto com o idioma vazio ϵ define uma estrutura monoidal estrita nessa categoria que é distributiva sobre junções (não tenho certeza sobre os...
Disclaimer: Eu não sou um teórico de CS. Vindo da álgebra abstrata, estou acostumado a lidar com coisas iguais a um isomorfismo - mas estou tendo problemas para traduzir esse conceito em estruturas de dados. Primeiro pensei que morfismos bijetivos teóricos diretos seriam suficientes, mas me...
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...
A partir de Curry-Howard-Lambek, houve uma boa trindade de teorias de tipos, lógicas e categorias. Estou curioso sobre a semântica categórica que você obtém ao adicionar subtipos (coercitivos) a uma teoria de tipos - parece que isso não foi muito explorado, se é que realmente foi. Em geral,...
Qualquer mônada também é um função aplicadora e qualquer função aplicadora é um função. Além disso, qualquer comonada é um functor. Existe um conceito semelhante entre comônadas e functores, algo como functor co-aplicativo e quais são suas
Muitos teoremas e "paradoxos" - diagonalização de Cantor, indecidibilidade de hatling, indeciabilidade da complexidade de Kolmogorov, incompletude de Gödel, incompletude de Chaitin, incompletude de Chaitin, paradoxo de Russell etc. - todos têm essencialmente a mesma prova de diagonalização (observe...
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...
Eu tenho tentado ler “ Projeto Pérolas do algoritmo funcional ” e, posteriormente, “ A álgebra da programação ”, e há uma correspondência óbvia entre tipos de dados definidos recursivamente (e polinomialmente) e objetos combinatórios, com a mesma definição recursiva e, posteriormente, levando para...
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...
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...
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...