You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Paolo Perrone (Mar 31 2020 at 21:11):Ciao raga, ci sono testi, note o altro di teoria delle categorie in italiano?
Fabrizio Genovese (Mar 31 2020 at 21:15):Bella domanda, non ne ho idea!
Paolo Perrone (Mar 31 2020 at 21:27):(Mi ero riproposto di tradurre le mie note in italiano, ma sono pigro. Forse un giorno!)
Paolo Perrone (Mar 31 2020 at 21:27):Ma se devo essere sincero mi piacerebbe leggere qualcosa in italiano scritta da Fosco! :)
Beppe Metere (Apr 01 2020 at 06:45):Ciao a tutti! Lieto di condividere uno spazio virtuale in italiano!
Beppe Metere (Apr 01 2020 at 07:14):I testi di CT in italiano (quindi di TC!) sono veramente pochi.
Beppe Metere (Apr 01 2020 at 07:50):Ci sono vari appunti di corsi di teoria delle categorie tenuti negli anni da teorici delle categorie italiani... nonché altri materiali preparati da geometri algebrici, algebristi, logici, informatici, filosofi etc.
Io ho da qualche parte gli appunti di un corso tenuto da Aurelio Carboni a UniMi, e di svariati corsi tenuti da Giancarlo Meloni, ma si tratta di materiale abbastanza datato.
Poi c'è qualche libro vero e proprio, ma sono datati e comunque tradotti in italiano, non di autori italiani. Che io sappia, ci sono:
[1] S. Mac Lane, Categorie nella pratica matematica, Boringhieri, Torino, 1977. E' la versione italiana della prima edizione di CWM, tradotta dai "4 moschettieri" R.Betti, A.Carboni, M.Galuzzi, G.C.Meloni.
[2] W. Lawvere, S. Schanuel, Teoria Delle Categorie: Un'Introduzione Alla Matematica, Muzzio, 1994. E' la versione italiana di Conceptual Mathematics, presentata da C. Mangione.
Infine c'e qualche articolo in italiano, anche questi antichi...
Qualcuno ha in mente altro?
Ciao,
Beppe.
Joachim Kock (Apr 01 2020 at 07:52):Ciao Paolo, Beppe i tots!
Kelly, Johnstone i molts altres autors citen aquests apunts d'en Lawvere: Teoria delle categorie sopra un topos di base, Perugia 1973. No els he vist mai. Si en teniu o trobeu una còpia, m'interessa veure'l.
Beppe Metere (Apr 01 2020 at 09:59):Ciao Joachim,
sì, io ho avuto le Perugia Notes. Ora non ricordo dove le ho messe (nell'inferno di cartelle di backup dei vecchi computer) ma le cerco e ti faccio sapere!
Spero che tu e i tuoi cari stiate bene.
Un abbraccio,
Beppe.
Beppe Metere (Apr 01 2020 at 11:07):btw, @Joachim Kock of course you are aware of this:
https://github.com/mattearnshaw/lawvere/blob/master/pdfs/1972-perugia-lecture-notes.pdf
Ciao!
Joachim Kock (Apr 01 2020 at 11:37):Fantàstic, no ho coneixia. Però encara m'interessa la versió original italiana, si la trobes, pel plaer de la llengua.
Matteo Capucci (he/him) (Apr 01 2020 at 12:02):Sarebbe bello un testo di TdC (o addirittura più volumi) in italiano, redatto dalla comunità ItaCa --- come Bourbaki, ma in salsa italiana!
Fabrizio Genovese (Apr 01 2020 at 12:17):@Joachim Kock , da appassionato di lingustica, devo dire che il modo in cui scrivi mi affascina molto. Da Italiano capisco tutto perfettamente, ma ci sono molte contaminazioni credo dal francese e forse anche un po' dal portoghese. Questo rende il tuo scrivere in qualche modo vicino alla langue d'oc della Francia medievale, e in particolare al linguaggio della Chanson de Roland ( https://www.hs-augsburg.de/~harsch/gallica/Chronologie/11siecle/Roland/rol_ch01.html )! Sono sinceramente colpito (in positivo, ovviamente!)
Matteo Capucci (he/him) (Apr 01 2020 at 12:21):Credo sia Catalano, giusto @Joachim Kock ?
Fabrizio Genovese (Apr 01 2020 at 12:24):Non ho mai letto molto materiale in Catalano, ma da quel poco che ho avuto modo di esperire è una cosa che ha senso. Comunque è incredibile vedere come, quando si va indietro nel tempo, le similarità tra le lingue si appiattiscano. Per esempio il Francese e lo Spagnolo medievali sono molto più vicini all'Italiano di quanto lo siano le loro controparti moderne, secondo me
Joachim Kock (Apr 01 2020 at 12:38):Escric en català perquè no tinc coratge d'arriscar-me escrivint en italià. Com que son llengües molt veïnes, no hauríeu de tenir dificultat en desxifrar-lo. (De qualsevol manera no escric res d'important.) Vull promoure el model escandinau de l'inter-operabilitat del danés, el suec i el noruec. Amb un mínim d'esforç, podria funcionar també entre les llengües llatines.
Fabrizio Genovese (Apr 01 2020 at 12:40):Infatti funziona. Ogni volta che sono stato a Barcellona e provavo a parlare in inglese mi dicevano di parlare in Italiano, perché era più facile. :slight_smile:
Beppe Metere (Apr 01 2020 at 12:41):Qualcuno forse può confermare che il Català (parlato) è molto vicino al dialetto di Genova...
Fabrizio Genovese (Apr 01 2020 at 12:42):Comunque ho creato questo stream anche per chi sta studiando l'italiano e vuole fare un po' di pratica. Se vuoi provare a scrivere in Italiano hai tutto il nostro supporto. Io conto di fare lo stesso nei canali di spagnolo e francese, sono lingue che sto studiando ma non ho nessuno con cui esercitarmi...
Fabrizio Genovese (Apr 01 2020 at 12:43):Beppe Metere said:
Qualcuno forse può confermare che il Català (parlato) è molto vicino al dialetto di Genova...
Non posso confermare con il dialetto di Genova, ma di sicuro nel Napoletano ci sono moltissime influenze Catalane. Napoli è stata sotto la dominazione dei Borbone per molti secoli.
Matteo Capucci (he/him) (Apr 01 2020 at 13:00):Joachim Kock said:
Escric en català perquè no tinc coratge d'arriscar-me escrivint en italià. Com que son llengües molt veïnes, no hauríeu de tenir dificultat en desxifrar-lo. (De qualsevol manera no escric res d'important.) Vull promoure el model escandinau de l'inter-operabilitat del danés, el suec i el noruec. Amb un mínim d'esforç, podria funcionar també entre les llengües llatines.
Sembra un ottimo proposito!
Paolo Perrone (Apr 01 2020 at 13:04):Beppe Metere said:
Qualcuno forse può confermare che il Català (parlato) è molto vicino al dialetto di Genova...
È molto simile ai dialetti del nord (Gallo-Italici). Mi ricorda molto il bergamasco per esempio (sono cresciuto a Bergamo), ma ancora di più i dialetti lombardi occidentali - per capirci, la lingua di Van de Sfroos :)
Matteo Capucci (he/him) (Apr 01 2020 at 14:03):Per i due soldi di linguistica che so (e Fabrizio sarà contento di smentirmi altrimenti) sia il Nord Italia che la penisola Iberica sono stati invasi da due tribù germaniche apparentemente imparentate, Ostrogoti e Visigoti rispettivamente. Dunque ha senso che il risultato sia stato molto simile!
Lo dico perchè i dialetti (specialmente al Nord) non hanno ricevuto altre grandi influenze dopo queste invasioni (eccezion fatta per il Longobardo).
Paolo Perrone (Apr 01 2020 at 14:10):Non so niente di linguistica - quello che posso dire è che quand'ero a Barcellona, le vecchiette sul pullman che parlavano di andare al "supermercàt" avrebbero tranquillamente potuto essere di Bergamo Alta :p
Concordo però: il catalano è affascinante.
Paolo Perrone (Apr 01 2020 at 14:18):Joachim Kock said:
Escric en català perquè no tinc coratge d'arriscar-me escrivint en italià. Com que son llengües molt veïnes, no hauríeu de tenir dificultat en desxifrar-lo. (De qualsevol manera no escric res d'important.) Vull promoure el model escandinau de l'inter-operabilitat del danés, el suec i el noruec. Amb un mínim d'esforç, podria funcionar també entre les llengües llatines.
Oh sì, assolutamente. È uno sforzo minimo, e ci capiremmo tutti! :)
Fabrizio Genovese (Apr 01 2020 at 14:43):Matteo Capucci said:
Per i due soldi di linguistica che so (e Fabrizio sarà contento di smentirmi altrimenti) sia il Nord Italia che la penisola Iberica sono stati invasi da due tribù germaniche apparentemente imparentate, Ostrogoti e Visigoti rispettivamente. Dunque ha senso che il risultato sia stato molto simile!
Lo dico perchè i dialetti (specialmente al Nord) non hanno ricevuto altre grandi influenze dopo queste invasioni (eccezion fatta per il Longobardo).
Questo è vero, il problema è che le invasioni sono sempre stratificate e bisogna capire quanto una lingua locale ritiene dalle invasioni precedenti. Per esempio, il Napoletano ancora conserva delle influenze dal Francese risalenti al periodo Angioino (basso medioevo, su per giù), ma queste sono state spesso "sovrascritte" dal periodo Spagnolo, che è durato dalla fine del basso medioevo fino ai primi del 1800
Matteo Capucci (he/him) (Apr 01 2020 at 15:55):Certo! La storia del Nord e del Sud è parecchio diversa da questo punto di vista, non è paragonabile!
fosco (May 22 2020 at 09:05):@Joachim Kock @Matteo Capucci @Fabrizio Genovese
Degut a la dominació aragonesa Català es parla a Sardegna [precisamente, ad Alghero].
<<Segons la Generalitat de Catalunya (enquesta 2004) el 22,4% dels algueresos té el català com a primera llengua, però en l'ús social baixa al 13%>> (wiki)
fosco (May 22 2020 at 09:40):@Joachim Kock ecco le Perugia Notes Lawvere-Perugia-Notes.pdf
fosco (May 22 2020 at 09:41):Ah, non ho visto il post di Beppe :)
Amar Hadzihasanovic (May 22 2020 at 10:28):Penso che avere un famoso ciclo di lezioni noto con il nome di una città italiana sia la massima aspirazione che può avere un accademico
Amar Hadzihasanovic (May 22 2020 at 10:29):Altro che premi
Amar Hadzihasanovic (May 22 2020 at 10:29):(Vedi anche: le Pisa lectures di Chomsky...)
fosco (May 22 2020 at 20:11):Ora sono triste perché @Joachim Kock non ha apprezzato il mio tentativo di parlare català :(
Collegato ma non troppo: io ho scritto degli esercizi di CT in italiano, sono qui: http://tetrapharmakon.github.io/stuff/ESERCIZI.pdf
Collegato ma non collegato: da un po' di tempo sto imparando l'esperanto e mi piacerebbe scrivere una breve introduzione a CT (TC? TdK?) in questa lingua. La sfida è che alcune parole mancano (anche solo "isomorfismo", la traduzione canonica fa un po' schifo, sarebbe __reciproke unuvalora surjeto__, che sta supponendo già un sacco di cose, per esempio, che la categoria sia bilanciata) https://github.com/tetrapharmakon/tdk ho iniziato, ma mai continuato. Se però a qualcun altro interessa... anche solo per la prova d'artista/linguista di inventare lessico matematico che prima non esisteva.
Joachim Kock (May 23 2020 at 10:51):fosco said:
Ora sono triste perché Joachim Kock non ha apprezzato il mio tentativo di parlare català :(
Ciao Fosco,
estava un xic ocupat, i no he pogut acompanyar el xat de prop aquesta setmana :-(
Enhorabona pel teu català :-)
I merci per les Perugia notes. Si algú les tingui en italià m'interessa, per motius lingüístics.
La idea de l'ItaCa em sembla molt bonica. Espero poder participar a la trobada -- i espero que hi tingui alguna xerrada en italià :-)
Paolo Scarpat (Jul 19 2021 at 22:08):Paolo Perrone said:
Ciao raga, ci sono testi, note o altro di teoria delle categorie in italiano?
Mi pare che non siano state citate fra i vari riferimenti: note in italiano di Samuele Maschio, "L'emancipazione dall'appartenenza".
https://drive.google.com/file/d/1Op3fP2z25WTIHxS49EKYrMRxHycXT_1j/view
Qui anche esercizi e soluzioni: http://samuelemaschio.blogspot.com/p/fondamenti-della-matematica-201718-ii.html
Matteo Capucci (he/him) (Jul 20 2021 at 07:00):Bellissime, non le conoscevo!
Matteo Capucci (he/him) (Jul 20 2021 at 07:00):So anche che Samuele sta lavorando a delle note di logica categoriale
Fabrizio Genovese (Jul 21 2021 at 12:55):Paolo Scarpat said:
Paolo Perrone said:
Ciao raga, ci sono testi, note o altro di teoria delle categorie in italiano?
Mi pare che non siano state citate fra i vari riferimenti: note in italiano di Samuele Maschio, "L'emancipazione dall'appartenenza".
https://drive.google.com/file/d/1Op3fP2z25WTIHxS49EKYrMRxHycXT_1j/view
Qui anche esercizi e soluzioni: http://samuelemaschio.blogspot.com/p/fondamenti-della-matematica-201718-ii.html
Uà top, c'è sicuramente troppo poco materiale in Italiano in giro
Fabrizio Genovese (Jul 21 2021 at 12:56):Dal titolo mi aspettavo un saggio di antropologia culturale però :grinning:
Fabrizio Genovese (Jul 21 2021 at 12:56):Comunque, a proposito di categorie e Italia, quanti tra voi vanno a Genova ad Agosto?
Morgan Rogers (he/him) (Jul 21 2021 at 14:28):Al massimo 99 :stuck_out_tongue_wink:
Paolo Scarpat (Jul 07 2022 at 11:20):Matteo Capucci (he/him) said:
So anche che Samuele sta lavorando a delle note di logica categoriale
Il link dovrebbe essere questo, se non sbaglio.