Category Theory
Zulip Server
Archive

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.


Stream: community: italiano/Italian

Topic: ItaCa


view this post on Zulip Paolo Perrone (May 21 2020 at 14:46):

Ciao raga. Chi mi sa dire qualcosa di più su ItaCa?

view this post on Zulip Amar Hadzihasanovic (May 21 2020 at 15:58):

@fosco ?

view this post on Zulip fosco (May 21 2020 at 17:39):

Ciao! Con Metere e gli altri abbiamo deciso di continuare su zoom con qualche evento sporadico (indicativamente uno al mese: a giugno, luglio, settembre, ottobre, novembre...)

view this post on Zulip fosco (May 21 2020 at 17:40):

Abbiamo speaker fino a settembre, credo; per maggiori info scrivi a webmasters.itaca@gmail.com

view this post on Zulip fosco (May 21 2020 at 17:41):

(la mail arriva a tutti noi)

view this post on Zulip Paolo Perrone (May 21 2020 at 17:46):

Ma cos'è? Una comunità, una serie di eventi...

view this post on Zulip fosco (May 21 2020 at 18:05):

Oh! Ma tu non sapevi di Itaca

view this post on Zulip fosco (May 21 2020 at 18:05):

http://www.mat.unimi.it/users/itaca/

view this post on Zulip fosco (May 21 2020 at 18:05):

A dicembre a Milano c'è stato questo

view this post on Zulip fosco (May 21 2020 at 18:06):

Volevamo farne un'altra edizione prima del CT a Genova, ma come sai...

view this post on Zulip fosco (May 21 2020 at 18:06):

Detto questo, ItaCa è una comunità che raccoglie i teorici delle categorie _italiani_ sparsi per il pianeta

view this post on Zulip fosco (May 21 2020 at 18:06):

il corsivo è importante

view this post on Zulip fosco (May 21 2020 at 18:07):

Ti invito a emailare a Beppe Metere o a webmasters etc etc

view this post on Zulip Amar Hadzihasanovic (May 21 2020 at 18:07):

Ma i talk saranno comunque in inglese?

view this post on Zulip Amar Hadzihasanovic (May 21 2020 at 18:10):

In ogni caso, contribuirei volentieri quando c'è spazio :) sarei voluto andare a Milano ma non era fattibile in quel momento...

view this post on Zulip Daniele Palombi (May 21 2020 at 18:28):

Amar Hadzihasanovic said:

Ma i talk saranno comunque in inglese?

Si

view this post on Zulip Paolo Perrone (May 21 2020 at 18:57):

Wow, buono a sapersi! In futuro mi piacerebbe partecipare.

view this post on Zulip Morgan Rogers (he/him) (May 21 2020 at 20:07):

Anch'io! Non ero in Italia per l'evento a dicembre, ma vorrei essere incluso in eventi futuri. :grinning_face_with_smiling_eyes:

view this post on Zulip Fabrizio Genovese (May 21 2020 at 20:14):

ItaCa a Milano è stato molto bello. Sono molto contento che questa cosa continui!

view this post on Zulip fosco (May 22 2020 at 08:48):

Certo, la partecipazione è aperta a tutti; ma il format è il seguente: ci sono solo due talk da 45-50 minuti per giornata, e il resto è chiacchiere, domande aperte, scarabocchi alla lavagna per chi vuole restare.
Se non altro perché il senso di questi incontri è (anche) cazzeggiare insieme, e non sovraccaricare i partecipanti con troppi talk tecnici.

Comunque. Rivolgetevi a @Beppe Metere per informazioni, o emailate a webmasters.itaca@gmail.com

view this post on Zulip Beppe Metere (May 22 2020 at 12:47):

Ciao tutti. Sono contento che ItaCa susciti interesse. Fosco vi ha già dato le coordinate. Comunque, chi fosse interessato a ricevere in futuro le infoz aggiornate, lo inserico volentieri nella mailing list! Beppe.

view this post on Zulip Morgan Rogers (he/him) (May 22 2020 at 13:36):

ti ho inviato una mail prima :slight_smile:

view this post on Zulip fosco (Jun 11 2020 at 19:12):

Just a kind reminder che il 17 c'è ItaCa Fest. Venite a vederci! https://progetto-itaca.github.io/pages/fest.html

view this post on Zulip Matteo Capucci (he/him) (Jun 12 2020 at 07:02):

Io parteciperò moralmente, ma non credo riuscirò a collegarmi :pensive:

view this post on Zulip fosco (Jun 12 2020 at 07:09):

oh no!

view this post on Zulip Daniele Palombi (Jun 25 2020 at 09:53):

Oggi ho shamelessly pubblicizzato ItaCa durante un esame orale

view this post on Zulip fosco (Jun 25 2020 at 10:36):

Less shame, more ItaCa. E non farti mettere un esame a luglio il giorno di ItaCa 2

view this post on Zulip Daniele Palombi (Jun 26 2020 at 16:03):

Ci provo :frown:

view this post on Zulip Paolo Perrone (Jun 26 2020 at 18:14):

Com'è andata? Purtroppo non sono riuscito a connettermi.

view this post on Zulip fosco (Jun 26 2020 at 18:58):

Secondo me è stato molto bello, purtroppo però non abbiamo registrato

view this post on Zulip fosco (Jun 26 2020 at 18:58):

Il talk di Nicola è stato bello

view this post on Zulip Paolo Perrone (Jun 26 2020 at 19:57):

Ma si chiama Itaca perché per i ricercatori italiani tornare in Italia è un'Odissea?

view this post on Zulip fosco (Jun 26 2020 at 20:08):

E' esattamente quello il motivo, sì

view this post on Zulip fosco (Jun 26 2020 at 20:09):

Ma qualcuno che legga la descrizione che abbiamo in homepage?

view this post on Zulip Daniele Palombi (Jun 27 2020 at 18:02):

Ivan tolse un pezzo sul tornare a casa

view this post on Zulip Matteo Capucci (he/him) (Aug 31 2020 at 08:57):

Itachesi, ci sono progetti per un prossimo appuntamento?

view this post on Zulip Matteo Capucci (he/him) (Aug 31 2020 at 08:58):

Questa volta posso dare una mano anch'io se serve

view this post on Zulip fosco (Aug 31 2020 at 09:16):

A giorni annunceeremo gli eventi dei prossimi mesi. Stei tiund! Solito indirizzo

view this post on Zulip Matteo Capucci (he/him) (Aug 31 2020 at 09:22):

Aspetto trepidante

view this post on Zulip Matteo Capucci (he/him) (Sep 14 2020 at 09:04):

Rompo di nuovo: è un problema se aggiungo gli eventi di ItaCa al calendario dei seminari CT?

view this post on Zulip fosco (Sep 14 2020 at 09:14):

Dove intendi?

view this post on Zulip Matteo Capucci (he/him) (Sep 14 2020 at 09:23):

https://teamup.com/ksfss6k4j1bxc8vztb

view this post on Zulip fosco (Sep 14 2020 at 09:28):

Ah! Non penso ci siano problemi, ma Itaca è una monocrazia retta da un dio-re (Beppe), quindi chiedo a lui

view this post on Zulip Matteo Capucci (he/him) (Sep 14 2020 at 09:45):

Ancora meglio sarebbe avere un calendario ufficiale di ItaCa, cosicchè gli eventi li pubblicate lì e la gente se li trova sul suo (una volta aggiunto, ofc)

view this post on Zulip Beppe Metere (Sep 15 2020 at 13:14):

Non c'è problema @Matteo Capucci. Aggiungi pure gli eventi di ItaCa al calendario dei seminari CT. E GRAZIE!

view this post on Zulip Beppe Metere (Sep 15 2020 at 13:16):

fosco said:

Ah! Non penso ci siano problemi, ma Itaca è una monocrazia retta da un dio-re (Beppe), quindi chiedo a lui

...una monocrazia teocratica, quindi? non mi dispiace!

view this post on Zulip fosco (Sep 15 2020 at 15:00):

Il re ha parlato!

view this post on Zulip Matteo Capucci (he/him) (Sep 15 2020 at 17:45):

Perfetto! Oltre al fest del 23, ce ne sono altri in vista che mi sono perso?

view this post on Zulip Daniele Palombi (Sep 23 2020 at 19:26):

ItaCa III è andato benissimo, direi

view this post on Zulip Daniele Palombi (Sep 23 2020 at 19:32):

Ancora grazie a @Beppe Metere @fosco @Ivan Di Liberti e @EdoardoLanari per l'organizzazione ottima (come sempre) e a @Paolo Perrone ed Enrico (che non trovo su zulip) per i talk interessantissimi

view this post on Zulip Ivan Di Liberti (Sep 23 2020 at 19:56):

Anche a me sembra sia andato benissimo, ad eccezione del mio microfono!

view this post on Zulip Daniele Palombi (Sep 23 2020 at 19:58):

Colpa di apple, sempre colpa di apple

view this post on Zulip Paolo Perrone (Sep 23 2020 at 20:05):

È stato bello! Grazie a tutti!

view this post on Zulip fosco (Sep 23 2020 at 21:11):

Video 1: https://www.youtube.com/watch?v=K1J1gSU1rYs
Video 2: https://www.youtube.com/watch?v=ZJjcTHpHoZo

view this post on Zulip Daniele Palombi (Sep 23 2020 at 21:22):

fosco said:

Video 1: https://www.youtube.com/watch?v=K1J1gSU1rYs
Video 2: https://www.youtube.com/watch?v=ZJjcTHpHoZo

Ho aggiunto i video al sito!
Se avete altri materiali (per esempio le slides ) mandate pure a me o a Fosco, così domani li aggiungiamo al sito

view this post on Zulip Beppe Metere (Sep 24 2020 at 07:25):

:+1:

view this post on Zulip Beppe Metere (Sep 24 2020 at 07:39):

@Paolo Perrone grazie per il tuo talk, molto interessante! Se hai un preprint, mi piacerebbe leggerlo! A presto.

view this post on Zulip Paolo Perrone (Sep 24 2020 at 15:34):

Beppe Metere said:

Paolo Perrone grazie per il tuo talk, molto interessante! Se hai un preprint, mi piacerebbe leggerlo! A presto.

Grazie! Lo sto ancora finendo. Ci sto mettendo più del previsto perché ci sono un po' di dettagli sulle pseudomonadi che vanno scritti bene. Però dovrebbe essere pronto tra poci, ti farò sapere!

view this post on Zulip fosco (Oct 06 2020 at 08:42):

https://progetto-itaca.github.io/pages/fest.html

Abbiamo annunciato ItaCa IV!

view this post on Zulip Paolo Perrone (Oct 06 2020 at 16:34):

Raga, tra l'altro in tedesco "Itaca" è una parola offensiva per indicare gli (immigrati) italiani - simile a "crucco". Ironia della sorte...

view this post on Zulip Matteo Capucci (he/him) (Oct 06 2020 at 17:20):

:stuck_out_tongue_closed_eyes: pazzesco

view this post on Zulip Matteo Capucci (he/him) (Nov 16 2020 at 16:39):

Itachesi, c'è in programma un meeting (temo necessariamente virtuale) natalizio?

view this post on Zulip fosco (Nov 16 2020 at 20:12):

Purtroppo sì, se ci sarà qualcosa sarà nuovamente online; vi terremo aggiornati!

view this post on Zulip Fabrizio Genovese (Nov 17 2020 at 00:08):

Madonna è già passato un anno da Itaca. Un anno in cui, se posso essere sincero, mi sembra proprio di non aver combinato un cazzo di niente xD

view this post on Zulip Matteo Capucci (he/him) (Nov 17 2020 at 00:09):

Possiamo tutti giocarci la carta :biohazard:

view this post on Zulip Fabrizio Genovese (Nov 17 2020 at 00:10):

Ma infatti è essenzialmente quello il motivo

view this post on Zulip Fabrizio Genovese (Nov 17 2020 at 00:11):

A conti fatti è più o meno da febbraio che sono chiuso in casa in maniera quasi continuativa, che non viaggio e che non incontro colleghi. Essenzialmente non aver combinato niente è quasi un traguardo, è un miracolo non essere già morti xD

view this post on Zulip Matteo Capucci (he/him) (Nov 17 2020 at 00:16):

Letteralmente vero

view this post on Zulip Paolo Perrone (Jan 13 2021 at 06:50):

Beppe Metere said:

Paolo Perrone grazie per il tuo talk, molto interessante! Se hai un preprint, mi piacerebbe leggerlo! A presto.

@Beppe Metere Finalmente ce l'ho fatta! Se vuoi è qui, https://arxiv.org/abs/2101.04531

view this post on Zulip Beppe Metere (Jan 13 2021 at 07:02):

Wow! Lo leggo subito!

view this post on Zulip Paolo Perrone (Jan 28 2021 at 13:15):

Visto che si è parlato recentemente di eventi in italiano: a quanto pare in Brasile è in corso un evento di teoria delle categorie (quasi tutto) in portoghese, con tutorial. https://www.youtube.com/channel/UCv60Km4sJ-ZDx0mUFHHUkyg/videos
Potremmo prendere spunto :)

view this post on Zulip fosco (Jan 29 2021 at 09:53):

io ne ho seguiti diversi, sembravano fatti bene

view this post on Zulip fosco (Jan 29 2021 at 09:53):

soprattutto, non sapevo che Fgcd(m,n)=gcd(Fm,Fn)F_{\gcd(m,n)} = \gcd(F_m, F_n) se FnF_n è l'nn-esimo numero di Fibonacci

view this post on Zulip fosco (Jan 29 2021 at 09:54):

o era con l'lcm ora non ricordo

view this post on Zulip Matteo Capucci (he/him) (Jan 29 2021 at 09:59):

lcm, but still :)

view this post on Zulip Daniele Palombi (Feb 24 2021 at 16:08):

Da oggi ItaCa ha un account di twitter, seguiteci, ritwittateci, ecc ecc
https://twitter.com/progetto_itaca

view this post on Zulip Beppe Metere (Mar 02 2021 at 16:32):

fosco said:

soprattutto, non sapevo che Fgcd(m,n)=gcd(Fm,Fn)F_{\gcd(m,n)} = \gcd(F_m, F_n) se FnF_n è l'nn-esimo numero di Fibonacci

Grazioso, letto su https://www.math3ma.com/blog/fibonacci-sequence, Tai-Danae Bradley.