Benjamin Merlin Bumpus's Reseach Website
This is a quick post for all of my non-Brasilian colleagues who are interested in learning about the research community here. My student Paulo Vitor Macedo Dias has put together a Brasilian Category Theory website. This is meant to be a repository for all things category theory in Brasil: we want to compile lists of [ ]
Our paper Towards a Unified Theory of Time-Varying Data was accepted in the Springer journal Applied Categorical Structures yay! As you might expect, the paper is all about data that you guessed it varies with time. I ve been thinking about time-varying graphs, where the vertices and edges may come and go as [ ]
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)! This is what I would ve written last semester, when I started my new job. But as many can imagine, moving to another continent can be a little distracting. Now I m [ ]
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. Since many students and colleagues have asked me for recordings of my lectures on this subject and since [ ]
My good friend Zoltan Kocsis and I finally got our paper Degree of Satisfiability in Heyting Algebras published in the Journal of Symbolic Logic. Yay! Since Zoltan is half-way across the world, we can t grab a beer together and celebrate, so instead here s a celebratory blog post (you can find the ArXiv version of our [ ]
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. It turns out that there is an obvious (in hindsight) reason for this and I thought it would be nice to tell you about it. While thinking [ ]
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. The workshop (organized by Matteo Cappucci and Jules Hedges) was centered around four papers that covered the theme of compositional patterns and emergence therein. I wrote one of them (the one [ ]
Hi Mike, You asked: [w]hat is the analog of tree-width for finite permutation groups? This should have an answer. And the answer should be fairly obvious/deducible (Cf Grothendieck) from the right abstract point of view. This blog post is part of my correspondence with Mike Fellows. I m posting it here for three reasons: (1) I [ ]
Sometimes in math things sound obviously true and that s exactly how it turns out. Other times, you re less lucky. Today was one of those days. In this post we ll see that, although \(\mathsf{Grph}\) is adhesive, \(\mathsf{Grph}^{op}\) isn t. For a while now, Will Turner and I have been working both with adhesive categories and with \(\mathsf{Grph}^{op}\). [ ]
Towards the end of May I visited Johannes Carmesin s group at the University of Birmingham. I was there to work with Will Turner on obstructions to compositionality and their categorification. I had an absolute blast. Will and I proved a bunch of new results and this post is about one of them: I ll tell you [ ]