John Baez sulla teoria delle categorie (in spagnolo)
https://elpais.com/elpais/2019/11/06/ci ... 24789.html
È uscito oggi. Interessante. Sono un fan della divulgazione di John Baez.
È uscito oggi. Interessante. Sono un fan della divulgazione di John Baez.
Risposte
Bene. Se non l'hai fatto ancora, non ti resta che prendere un libro di teoria delle categorie e iniziare. 
Se no, questo forum diventa una noia più mortale di quanto lo sia già.
Se no, questo forum diventa una noia più mortale di quanto lo sia già.
O forse è vero il contrario?
Peraltro non so cosa pagherei per vedere la reazione di kb nel leggere "teoria de categorias aplicada"
Peraltro non so cosa pagherei per vedere la reazione di kb nel leggere "teoria de categorias aplicada"
"Indrjo Dedej":
Se no, questo forum diventa una noia più mortale di quanto lo sia già.
Nessuno ti costringe a rimanere.
Uffa, quanto siete ostinatamente contrarii a CT. Appena ne sentite parlare, alzate la guardia. Se dissonance ha aperto un post con un articolo che parla in maniera informale di CT, avrà voluto suscitare un minimo di reazione positiva. No, dissonance? Magari dopo tutto si sarà un minimo incuriosito all'argomento, ed avrà voluto iniziare questi discorsi in qualche modo.
@Indrjo Dedj Senti queste:
[list=1]
[*:2305ow0q]ai miei studenti di ingegneria ho spiegato le relazioni di equivalenza, senza dimostrare il teorema fondamentale delle relazioni di equivalenza, anzi, non l'ho proprio citato;[/*:m:2305ow0q]
[*:2305ow0q]gli ho spiegato che la diagonalizzazione delle matrici ha applicazioni nello studio delle vibrazioni[nota]E farò una lezione fuori orario per farglielo vedere.[/nota], oltre che in meccanica quantistica;[/*:m:2305ow0q]
[*:2305ow0q]la prossima lezione inizierò le applicazioni lineari di spazi vettoriali, facendo un accenno alla teoria delle rappresentazioni[nota]Ovvero che esiste una siffatta teoria, la quale permette di studiare la teoria delle particelle elementari[/nota].[/*:m:2305ow0q][/list:o:2305ow0q]
Inoltre:
[list=1]
[*:2305ow0q]vedendo il gruppo fondamentale e i gruppi di (co)omologia come funtori da \(\displaystyle\mathbf{Top}\) ad \(\displaystyle\mathbf{Ab}\), ho iniziato a capirci qualcosa di topologia algebrica;[/*:m:2305ow0q]
[*:2305ow0q] la CT, almeno per me, è solo un attrezzo di lavoro;[/*:m:2305ow0q][/list:o:2305ow0q]
tutto ciò mi rende un nemico dell CT?
[list=1]
[*:2305ow0q]ai miei studenti di ingegneria ho spiegato le relazioni di equivalenza, senza dimostrare il teorema fondamentale delle relazioni di equivalenza, anzi, non l'ho proprio citato;[/*:m:2305ow0q]
[*:2305ow0q]gli ho spiegato che la diagonalizzazione delle matrici ha applicazioni nello studio delle vibrazioni[nota]E farò una lezione fuori orario per farglielo vedere.[/nota], oltre che in meccanica quantistica;[/*:m:2305ow0q]
[*:2305ow0q]la prossima lezione inizierò le applicazioni lineari di spazi vettoriali, facendo un accenno alla teoria delle rappresentazioni[nota]Ovvero che esiste una siffatta teoria, la quale permette di studiare la teoria delle particelle elementari[/nota].[/*:m:2305ow0q][/list:o:2305ow0q]
Inoltre:
[list=1]
[*:2305ow0q]vedendo il gruppo fondamentale e i gruppi di (co)omologia come funtori da \(\displaystyle\mathbf{Top}\) ad \(\displaystyle\mathbf{Ab}\), ho iniziato a capirci qualcosa di topologia algebrica;[/*:m:2305ow0q]
[*:2305ow0q] la CT, almeno per me, è solo un attrezzo di lavoro;[/*:m:2305ow0q][/list:o:2305ow0q]
tutto ciò mi rende un nemico dell CT?
@j18eos, no. Non pensavo a te sicuramente quando ho scritto ciò. Perché ti sei sentito chiamato in causa?
No; ma mi chiedo: come voi amanti\teorici della CT vi sentite perseguitati (in Italia)?
Sembra che stiate litigando per questa parte di matematica... Cosa succede?
Dopo averne sentito parlare, io ho iniziato a studiarla qualche giorno fa (grazie, Indrjo, è molto interessante), e mi sembra che una teoria che vuole essere così generale non debba essere divisiva. Alla fine la matematica è una sola. E mi sembra che sia questo quello che dice l'introduzione dei libri che si trovano in rete o nelle biblioteche, voi li avete letti? Sembrano tutto tranne che divisivi.
Forse qualcuno si sente punto nell'orgoglio perché "si sta cercando di insegnargli il suo lavoro", ma penso che ci sia un malinteso.
Mi unisco a questa domanda e vorrei saperne di più su questa faida tra CT e non CT.
Dopo averne sentito parlare, io ho iniziato a studiarla qualche giorno fa (grazie, Indrjo, è molto interessante), e mi sembra che una teoria che vuole essere così generale non debba essere divisiva. Alla fine la matematica è una sola. E mi sembra che sia questo quello che dice l'introduzione dei libri che si trovano in rete o nelle biblioteche, voi li avete letti? Sembrano tutto tranne che divisivi.
Forse qualcuno si sente punto nell'orgoglio perché "si sta cercando di insegnargli il suo lavoro", ma penso che ci sia un malinteso.
come voi amanti\teorici della CT vi sentite perseguitati (in Italia)?
Mi unisco a questa domanda e vorrei saperne di più su questa faida tra CT e non CT.
"Indrjo Dedej":
Bene. Se non l'hai fatto ancora, non ti resta che prendere un libro di teoria delle categorie e iniziare.
Non sarebbe una soluzione a entrambi i problemi iniziare a postare qui delle domande? Fare esercizi insieme è sempre un bel modo di imparare la teoria. E magari qualche altra persona si unisce?
"Indrjo Dedej":
Uffa, quanto siete ostinatamente contrari a CT. Appena ne sentite parlare, alzate la guardia.
Quoto la perplessità di j18eos "come mai voi amanti\teorici della CT vi sentite perseguitati (in Italia)?".
Perché qui non stavo assolutamente esprimendo nessuna ostilità verso la TdC, quanto contro l'idea che il forum sia noioso in quanto non si parli di TdC.
Idem
Ma che cos'è qualcosa che "non è TdC"?
"j18eos":Visto che straquotate e vi accodate, evidentemente non ci conoscete bene quanto pensate. Vi dico, e magari varrà solo per me: io non mi sento perseguitato da nessuno. Tantomeno da voi!
No; ma mi chiedo: come mai voi amanti\teorici della CT vi sentite perseguitati (in Italia)?
"solaàl":Noi di certo non vogliamo queste faide. Nessuna faida. Solo gente che si sente punta e chiamata in causa, pensa che noi vogliamo faide.
[...] vorrei saperne di più su questa faida tra CT e non CT.
"otta96":E io non ho detto che tutto ciò che non è CT, non vale la pena praticarla. L'ho detto? Ho detto solo che qui si rischia di morire di noia. E quando dico che questo forum è una noia mortale, un cimitero intellettuale, un limbo di limiti risolti gratuitamente, non è certamente il grido disperato di un oppresso e perseguitato categorista, oltretutto costretto all'esilio. Che immagine dantesca! È lo scandalo, l'indignazione semmai! Perché, come ho detto, di certo non mi faccio perseguitare da nessuno. Ovviamente sono gusti miei, ma sicuramente ci sono altre cose interessanti al di fuori delle categorie! Solo che queste non emergono. È una grande cosa che in questi ambienti sorgano certi interessi, anche timidi. Il che per me è importante, non immaginate quanto! È altrettanto importante che sorgano parimenti anche altri interessi. Sarei stato contento se qualcuno avesse proposto anche altre cose interessanti non di CT. D'altra parte, e non lo negate, ammeterete anche voi di sentire un certo lezzo di decomposizione intellettuale; e poi parliamo di salute del forum! Ma quale salute può avere un cadavere marcilento!
Perché qui non stavo assolutamente esprimendo nessuna ostilità verso la TdC, quanto contro l'idea che il forum sia noioso in quanto non si parli di TdC.
"axpgn":
Peraltro non so cosa pagherei per vedere la reazione di kb nel leggere "teoria de categorias aplicada"
Ti accontento subito:
https://slides.com/foucheehcuof/taleofthree/#/2
http://tetrapharmakon.github.io/stuff/res-plan.pdf (terzultima pagina, ma se vuoi dai un'occhiata a tutto il pdf)
@dissonance
Tornando al post originario di questo thread, dissonance, mi fa piacere che tu abbia fatto questo inciso. Spero che ciò si possa trasformare in un vivace interesse.
"solaàl":
Non sarebbe una soluzione a entrambi i problemi iniziare a postare qui delle domande? Fare esercizi insieme è sempre un bel modo di imparare la teoria. E magari qualche altra persona si unisce?
Se hai/avete dubbi, vuoi/volete incominciare a fare degli esercizi, hai/avete delle idee, io sono qui e non esitare/esitate.
A me non interessano discorsi di faide e nemmeno le faide. E non sono killing_buddha/fmnq/caulacau, contrariamente all'impressione che alcuni potrebbero avere di me, dato che forse parlando con me sentono la sua presenza (per chi l'ha conosciuto).
https://johncarlosbaez.wordpress.com/20 ... ssion=true
qui ce n'è una versione in inglese molto amichevole da leggere.
qui ce n'è una versione in inglese molto amichevole da leggere.
Ma chi è questo john baez? Mi sembra di averlo già sentito…
[ot]Ma ho capito bene o anche fmnq era sempre killing_buddha? Sapevo che caulacau lo era ma quest'altra cosa mi era sfuggita.[/ot]
[ot]Ma ho capito bene o anche fmnq era sempre killing_buddha? Sapevo che caulacau lo era ma quest'altra cosa mi era sfuggita.[/ot]
@Indrjo Dedej
Per fortuna non ti senti perseguitato, chissà cosa succederebbe se lo fossi
Peraltro non è necessario leggerlo in inglese, anche senza conoscere lo spagnolo il senso dell'articolo è chiarissimo: la teoria delle categorie sta tornando di moda perché nascono applicazioni grazie ad essa (il che, a detta dello stesso, sembra un'ossimoro )
Per fortuna non ti senti perseguitato, chissà cosa succederebbe se lo fossi
Peraltro non è necessario leggerlo in inglese, anche senza conoscere lo spagnolo il senso dell'articolo è chiarissimo: la teoria delle categorie sta tornando di moda perché nascono applicazioni grazie ad essa (il che, a detta dello stesso, sembra un'ossimoro
)
@otta96[ot]
[/ot]
"otta96":Forse ti confondi con Joan Baez e la sua I love rock'n'roll...
Ma chi è questo john baez? Mi sembra di averlo già sentito...
[/ot]
@j18eos
[ot]Ma quanto ti piace aggiungere 10 anni a otta?
https://www.matematicamente.it/forum/viewtopic.php?f=40&t=193129
[/ot][/quote]
@Indrjo
Anche se non sei killing, sicuramente un po' del suo spirito vive in te
[ot]Ma quanto ti piace aggiungere 10 anni a otta?
https://www.matematicamente.it/forum/viewtopic.php?f=40&t=193129
"j18eos":Forse ti confondi con Joan Baez e la sua I love rock'n'roll...
@otta86[ot][quote="otta96"]Ma chi è questo john baez? Mi sembra di averlo già sentito...
[/ot][/quote]@Indrjo
Anche se non sei killing, sicuramente un po' del suo spirito vive in te
[ot]
Ahahahahah è vero[/ot]
"Bremen000":
@j18eos
Ma quanto ti piace aggiungere 10 anni a otta?
https://www.matematicamente.it/forum/viewtopic.php?f=40&t=193129
Ahahahahah è vero
[/ot]
"solaàl":
Ma che cos'è qualcosa che "non è TdC"?
Molti risultati possono essere dimostrati usando qualche "abstract nonsense" oppure usando metodi tradizionali. Sinceramente trovo che a volte il punto di vista categoriale sia più illuminante mentre altre lo sia più l'approccio tradizionale. Personalmente non amo i calcoli.
La critica maggiore alla teoria categoria è che spesso si sa che qualcosa esiste ma non si sa quasi nulla su quell'oggetto.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo