Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @valeriadepaiva
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @valeriadepaiva
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
I have an alert email from TAC which tells me all the papers published, so I twitted as soon as I got it. Because Dialectica is special to me, of course. Can you send me your paper?https://twitter.com/solifine/status/1225119363318964224 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Valeria dePaiva proslijedio/la je Tweet
This was published just a few hours after I sent a publisher the final version of a paper that references it.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
well, polycategories model MLL, the heart of LL. and they do have a notion of dual, as moving a formula/type from left to right is akin to negating/dualizing them.https://twitter.com/CreeepyJoe/status/1224807923806695424 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Dialectica on the news: The article whose abstract follows has been published. The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions, by Michael Shulman, TAC 2020.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
More worthy celebrations: Robin Gandy! https://www.wolfson.ox.ac.uk/event/gandy-colloquium-0 …pic.twitter.com/aNFZPDDYvz
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
same here, of course. Category Theory is about having domains and codomains always. I thought kids were learning it in elementary school, but apparently not.https://twitter.com/antitheorem/status/1224758484593455104 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
yes, I agree. I also gave to my baby-logic students, as candy reading.https://twitter.com/CreeepyJoe/status/1224783773927010304 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
the other thread is https://twitter.com/dodecahedra/status/1224000249058013184 … if you haven't seen it.https://twitter.com/antitheorem/status/1224752042671050753 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
there are good reasons to worry about what happens in discontinuities for example. especially if you're trying to come up with a generic theory of preserving good properties.https://twitter.com/antitheorem/status/1224752042671050753 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Valeria dePaiva proslijedio/la je Tweet
I guess that remembering the difference between "one-to-one functions" & "one-to-one correspondences" is easier to some English-speaking folks than adopting the Gallicisms (!) "injection" & "bijection"... And using "onto" rather than "surjection" probably also sounds more cool.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I guess so, but it's not only language issues. there's another thread going on here on whether you need or not to define the codomain of a function.https://twitter.com/antitheorem/status/1224733445584302085 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
glad to see that Troelstra is commemorated http://events.illc.uva.nl/Workshops/troelstra2020/ …pic.twitter.com/Vb4UbtqpvE
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Valeria dePaiva proslijedio/la je Tweet
GREAT WOMAN OF MATHEMATICS: DR. GLADYS MAE WEST, born 1930. Pioneer responsible for the mathematics behind GPS. Growing up in rural Virginia, she saw how hard the lives of her parents, a tobacco farm and railroad worker, respectively, were and determined to find a way 1/8
#GWOMpic.twitter.com/QXHmRBtioM
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Valeria dePaiva proslijedio/la je Tweet
Projeto de reintrodução de fauna na Floresta da Tijuca, Rio de janeiro. A Floresta da Tijuca é uma das maiores florestas urbanas do planeta. Nos séculos XVII e XVIII a floresta foi dizimada para plantio, principalmente de café. Logo após, o reflorestamento começou. +pic.twitter.com/kbZ9zsejrR
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Valeria dePaiva proslijedio/la je Tweet
A coyote and a badger use a culvert as a wildlife crossing to pass under a busy California highway together. Coyotes and badgers are known to hunt together.
Peninsula Open Space Trustpic.twitter.com/oS9BL5JOoKHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Valeria dePaiva proslijedio/la je Tweet
A PhD student in another country wrote humbling words to me and said she thought of quiting her PhD in engineering because she was treated like she was nothing. Sexism in academia is pandemic and a disaster for science. We need to stop it. Universities ought to really act.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.