Domande taggate «ct.category-theory»

Domande nella teoria delle categorie

2
Biiezioni a input limitato di sequenze infinite
Ecco un puzzle che non sono riuscito a risolvere. Vorrei sapere se questo problema è già noto o ha una soluzione semplice. È possibile definire una biiezione usando le proprietà delle categorie chiuse bicartesiane. Andrej Bauer ha pubblicato una spiegazione di ciò che questo significa sul suo blog come " …
4
Isomorfismi della struttura dei dati
Disclaimer: non sono un teorico CS. Proveniente dall'algebra astratta, sono abituato a trattare cose che sono uguali a un isomorfismo, ma ho difficoltà a tradurre questo concetto in strutture di dati. Per prima cosa ho pensato che sarebbero bastati dei morfismi teorici biiettivi, ma mi sono imbattuto in un muro …
1
L'incomprensibilità della complessità di Kolmogorov deriva dal teorema del punto fisso di Lawvere?
Molti teoremi e "paradossi" - la diagonalizzazione di Cantor, l'indecidibilità del tratteggio, l'indecisione della complessità di Kolmogorov, l'incompletezza di Gödel, l'incompletezza di Chaitin, il paradosso di Russell, ecc. - hanno tutti essenzialmente la stessa prova di diagonalizzazione (si noti che questo è più specifico di quello che possono tutto è …
1
Qual è la semantica categorica del sottotipo?
A partire da Curry-Howard-Lambek, c'è stata una bella trinità di teorie, logiche e categorie di tipi. Sono curioso di sapere quale semantica categorica ottieni quando aggiungi un sottotipo (coercitivo) a una teoria dei tipi - sembra che questo non sia stato esplorato molto, se non del tutto. In generale, l'aggiunta …
3
Esiste un concetto di qualcosa come i funzioni di funzione co-applicativa tra comonadi e funzioni?
Ogni monade è anche un funzione applicativa e ogni funzione applicativa è una funzione. Inoltre, ogni comonad è un funzione. Esiste un concetto simile tra comonadi e funzioni, qualcosa come il funzione di applicazione congiunta e quali sono le sue proprietà? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} …
2
Teoria delle categorie, complessità computazionale e connessioni combinatorie?
Ho cercato di leggere “ Pearls of Functional Algorithm design ”, e successivamente “ The Algebra of Programming ”, e c'è un'ovvia corrispondenza tra tipi di dati definiti ricorsivamente (e polinomialmente) e oggetti combinatori, con la stessa definizione ricorsiva e successivamente leader alle stesse serie di potenze formali (o funzioni …
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.