Domande taggate «ct.category-theory»

Domande nella teoria delle categorie

3
Lettore, scrittore monadi
Sia un CCC . Let un bifunctor prodotto su . Dato che Cat è CCC, possiamo 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 La categoria Functor ha la consueta struttura monoidale. C⇒CC⇒CC \Rightarrow C Un monoide in è una …
1
Esiste una relazione tra algebra / calcolo relazionale e teoria delle categorie?
Sono a conoscenza di almeno due diversi approcci teorici per la comprensione dei database relazionali: l'algebra / calcolo relazionale di Codd e la teoria delle categorie. C'è qualche relazione tra questi due approcci? Sono in qualche modo equivalenti? C'è qualche lavoro introduttivo che spiega come entrambi questi quadri spiegano i …
3
La "categoria" di macchine di Turing?
Disclaimer: so molto poco della teoria della complessità. Mi dispiace ma non c'è davvero modo di porre questa domanda senza essere (terribilmente) conciso: Quali dovrebbero essere i morfismi nella "categoria" delle macchine di Turing? Questo è ovviamente soggettivo e dipende dalla propria interpretazione della teoria, quindi una risposta a questa …
2
Piena completezza e completa astrazione della traduzione di un programma
Gli sforzi di verifica del compilatore spesso si riducono a dimostrare che il compilatore è completamente astratto: che preserva e riflette le equivalenze (contestuali). Invece di fornire prove complete di astrazione, alcuni recenti lavori di verifica del compilatore (basati su categorie) di Hasegawa [ 1 , 2 ] e Egger …
3
Usi delle categorie
Non sono un informatico teorico. Sono un teorico stabile dell'omotopia usando le categorie . Ho visto applicazioni della teoria delle categorie e dei topoi teoria di informatica teorica, e mi chiedevo se ci fosse un modo si potrebbe usare ∞ -categories (e preferibilmente per me, teoria omotopia stabile) in informatica …
2
Esistono formulazioni teoriche a nodo di problemi NP completi?
Esistono problemi NP completi (o anche NP-difficili, o NP) che hanno buone proprietà topologiche da studiare. I problemi NP hanno formulazioni teoriche del nodo? Conosciamo i risultati # sul polinomio di Jones. I problemi dei grafici (incorporamenti?), In particolare i colori dei grafici, possono avere buone proprietà teoriche sul nodo. …
1
Categorie algebricamente compatte
Ho letto l'articolo di Alydbraically Complete Categories di Freyd nel famoso Como90 e ho due domande sulla nozione di compattezza algebrica che ha definito in quell'articolo. (Se non si ha familiarità con la definizione, eccola qui: una categoria è chiamata algebricamente compatta se ogni endofunctor ha un'algebra iniziale e una …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.