Merlin's Notebook

This is a quick post for all of my non-Brasilian colleagues who are interested in learning about the research community here.

Our paper “Towards a Unified Theory of Time-Varying Data” was accepted in the Springer journal “Applied Categorical Structures” — yay!

I guess it’s official: as of today I am a professor at the Institute for Mathematics and Statistics at the Univesity of São Paulo (USP)!

Emilio Minichiello recently gave a woderful talk at the at the New York City Category Theory Seminar all about some results of mine (joint with Ernst Althaus, Daniel Rosiak and James Fairbanks) concerning dynamic programming and sheaves.

My good friend Zoltan Kocsis and I finally got our paper “Degree of Satisfiability in Heyting Algebras” published in the Journal of Symbolic Logic.

Recently I have been thinking a lot about pullbacks of graphs and it really is frustrating at times because they’re much harder to think about compared to colimits.

During Thanksgiving week I went to Wytham Abbey, a manor house in Oxfordshire where the “Workhop on Non-Compositionality in Complex Systems” was taking place.

Hi Mike, You asked: “[w]hat is the analog of tree-width for finite permutation groups?

Sometimes in math things sound obviously true and that’s exactly how it turns out.

Towards the end of May I visited Johannes Carmesin‘s group at the University of Birmingham.