Valeria dePaiva

@valeriadepaiva

Logician, category theorist. Likes to understand life mathematically.

Cupertino CA
Vrijeme pridruživanja: siječanj 2009.

Tweetovi

Blokirali ste korisnika/cu @valeriadepaiva

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @valeriadepaiva

  1. Poništi
  2. prije 3 sata
    Poništi
  3. prije 3 sata
    Poništi
  4. prije 3 sata

    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?

    Poništi
  5. proslijedio/la je Tweet
    prije 4 sata
    Odgovor korisniku/ci

    This was published just a few hours after I sent a publisher the final version of a paper that references it. 😕

    Poništi
  6. 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.

    Poništi
  7. 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.

    Poništi
  8. 4. velj
    Poništi
  9. 4. velj

    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.

    Poništi
  10. 4. velj

    yes, I agree. I also gave to my baby-logic students, as candy reading.

    Poništi
  11. 4. velj
    Poništi
  12. 4. velj

    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.

    Poništi
  13. proslijedio/la je Tweet
    4. velj
    Odgovor korisniku/ci

    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.

    Poništi
  14. 4. velj

    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.

    Poništi
  15. 4. velj
    Poništi
  16. 4. velj
    Poništi
  17. proslijedio/la je Tweet
    4. velj

    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

    Prikaži ovu nit
    Poništi
  18. 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. +

    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    4. velj

    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 Trust

    Poništi
  20. proslijedio/la je Tweet
    3. velj

    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.

    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·