Digging into some of the awesome work by Mario Román, pitops, Bartosz Milewski, and a bunch of other folks I don't have on twitter!

The CFP for SYCO 7 in Tallinn is out. events.cs.bham.ac.uk/syco/7/ submission deadline 17 February. Submit your work and come and hang out with the Compositionality group in Tallinn!

Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román : Profunctor optics, a categorical update arxiv.org/abs/2001.07488 arxiv.org/pdf/2001.07488

arXiv math.CT Category Theory Mario Román We have published the results of our work at the Applied Category School in Oxford.

The work on profunctor optics from the ACT School 2019 is out on the arxiv! I am really happy that this collaboration was possible, I have enjoyed and learnt a lot working with our group :) x.com/mathCTbot/stat…

"Profunctor optics and traversals", the MSc thesis by Mario Román also landed on arXiv. I *think* this mostly overlaps with the paper version which everybody was sharing the other day arxiv.org/abs/2001.08045

Just released a new version of DisCoPy! github.com/oxford-quantum… A cool new feature is a drawing function which turns a diagram into TikZ code, ready to copy and paste in a LaTeX article. That's how I wanna draw all my diagrams from now on.

I was deprived of my planned 3 week trip to Tallinn last month; but in any case I'm shortly going live in the TallCats seminar Next week I'll be doing the same talk again but somewhat more in public

What a nice surprise! Our paper "Profunctor Optics, a Categorical Update" has been accepted for a keynote at Applied Category Theory 2020. When I was first approached to mentor at the ACT 2019, I though I had nothing, and almost declined the offer. But the great team did it!

New preprint time! Games on graphs: A compositional approach, with Elena Di Lavore and Pawel Sobocinski The punchline: "Open games on open graphs" are strong monoidal functors from the category of open graphs ("syntax") to the category of open games ("semantics") arxiv.org/abs/2006.03493

Mario Román (aka Mario Román) - "Profunctor optics, a categorical update". Comprehensive work on optics that came out of last year's ACT school Hopefully everyone was paying attention, this will be on the exam (in my talk tomorrow)

Mario Román (Mario Román) again - "Open diagrams via coend calculus". I **love** this stuff, and not only because it's useful for me - comb diagrams for open games are part of the motivation - the pictures are so pretty