Robin Piedeleu

@rwolffoot

Postdoctoral researcher - category theory, logic & computing

UK/France
piedeleu.com
Vrijeme pridruživanja: rujan 2016.
5 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @rwolffoot

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

  1. 7. sij

    The category of representations of a bialgebra is monoidal. What conditions can we place on the bialgebra to guarantee that its category of reps is closed monoidal? Being a Hopf algebra is one of them. Are there more general conditions?

    1 reply 8 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    18. stu 2019.

    To all members of underrepresented groups in math and CS, and to anyone who wants to help: We are organizing a summer school about applied category theory, and we would like to encourage a lot members of underrepresented groups to apply. Can you help us? (1/2)

    10 proslijeđenih tweetova 20 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. 15. stu 2019.

    And is there some survey of full completeness results for all the different fragments and where to find them?

    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. 15. stu 2019.

    What are fully complete models of full (propositional) linear logic, including the multiplicative, additive and exponential fragments? It seems that P.-A. Melliès' category of asynchronous games is one---any others?

    4 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  5. 10. stu 2019.

    Apparently, it's not one of the papers mentioned in the answer, just another paper by some of the same authors. Still, emojis!

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  6. 10. stu 2019.

    One of the papers mentioned in this answer uses emojis to denote processes (and quite effectively, imo)!

    I guess the second answer to this question answers my own:
    Prikaži ovu nit
    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. 6. stu 2019.

    Similarly, every limit on Set induces a monad (from the usual diagonal-limit adjunction)---is there some canonical way of characterising its algebraic theory in the same way? For example, what are the algebras of the pullback monad? Has anyone thought about this before? 2/2

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. 6. stu 2019.

    Discovered on the n-category café today: Rectangular bands (idempotent semigroups satisfying xyx=x) are the algebras for the monad induced by the diagonal-product adjunction. 1/2

    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    14. lis 2019.

    "Cables, trains and types" by Simon Gay - a basic introduction to type theory in the spirit of Computer Science Unplugged

    14 proslijeđenih tweetova 32 korisnika označavaju da im se sviđa
    Poništi
  10. 6. lis 2019.

    Sunday morning mindfulness practice: logic in

    2 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  11. 16. ruj 2019.

    I guess the second answer to this question answers my own:

    2 proslijeđena tweeta 18 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  12. 16. ruj 2019.

    Is Curry-Howard for linear logic settled? I know there has been a lot of work on proofs as processes starting with the work of Abramsky in the 90s. Are session types for the pi-calculus the definitive answer? Does anyone know what the latest status of this question is?

    6 replies 3 proslijeđena tweeta 29 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    22. svi 2019.

    Animated diagram of the Earth's Carbon Cycle and how it has changed over time. Carbon, in various forms including CO2 and organic materials, is continually exchanged between the atmosphere, oceans, and biosphere. However, human activities have perturbed the carbon cycle.

    109 replies 2.710 proslijeđenih tweetova 4.116 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. 24. tra 2019.

    Since then, I have dreamt of a similar language for complex systems in the social sciences, a language that would facilitate the development of complex models from heterogenenous components, the integration of new experimental data, and simulation at the touch of a button. 2/2

    6 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. 24. tra 2019.

    In 2016, I was lucky to listen to an inspiring talk by Jean Krivine on the Kappa language: a rule-based process calculus for molecular biology developed by a multi-disciplinary team around . 1/2

    2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. 24. tra 2019.

    Very interesting read. I wonder if category-theoretic methods could help designing and studying these models:

    5 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. 7. ožu 2019.

    “Picturing resources in concurrency”. That’s literally the title.

    What's the summary of your PhD Thesis in 5 word or less? Mine is: Star goes boom. Round? No. 😐🔭🌟💥
    Prikaži ovu nit
    4 korisnika označavaju da im se sviđa
    Poništi
  18. 26. velj 2019.

    I'm teaching a distributed systems class and looking for a concrete example where genuinely distributed mutual exclusion is needed. All examples I find have some computing device that controls access to the shared resource anyway so can be solved by centralised solutions. Ideas?

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  19. 7. velj 2019.

    I know that has thought about this more precisely in the context of monoidal categories. Another line of work that tackles these ideas is Set Operads in Combinatorics and Computer Science by Méndez

    1 reply 3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi

@rwolffoot još nije objavio nijedan Tweet.

Č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:

    ·