Domande taggate «ct.category-theory»

Domande nella teoria delle categorie

1
Trasformazioni naturali e parametricità
In Teoremi gratis! , Wadler afferma che la caratterizzazione della parametricità può essere re-espressa in termini di trasformazioni naturali rilassate e questo sarà oggetto di un ulteriore documento. A quale documento si riferisce? L'approccio categorico alla parametricità che conosco utilizza trasformazioni dinaturali come nel polimorfismo di Functorial di Bainbridge, Freyd, …
3
Esiste un CCC noto chiuso sotto un'operazione probabilistica di powerdomain?
Equivalentemente, esiste una semantica denotazionale nota per i linguaggi probabilistici di programmazione funzionale di ordine superiore? In particolare, esiste un modello di dominio di puro non tipizzato -esteso esteso da un'operazione di scelta binaria casuale simmetrica.λλ\lambda Motivazione Le categorie chiuse cartesiane forniscono una semantica a calcoli ordine superiore. I powerdomain …
1
Correlazione dell'univalenza per una teoria dei cateogries con il concetto di scheletro
Suppongo che io lavori nella teoria dei tipi di omotopia e che i miei unici oggetti di studio siano le categorie convenzionali. Le equivalenze qui sono date dai funzioni e che forniscono equivalenze delle categorie . Esistono isomorfismi naturali e modo che questo funzione e il funzione "inverso" vengono trasformati …
1
Iperdoctrina e logica monadica del secondo ordine
Questa domanda è essenzialmente la domanda che ho posto su Mathoverflow. La logica Monadic Second Order (MSO) è una logica del secondo ordine con quantificazione su predicati unari. Cioè, quantificazione su insiemi. Esistono diverse logiche MSO che sono fondamentali per le strutture studiate in informatica. Domanda 1. Esiste una semantica …
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.