• Tree Decompositions via Lattices

    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… Read more

  • Diagrammatic Equations

    Last fall I read “A diagrammatic view of differential equations in physics” by Evan Patterson, Andrew Baas, Timothy Hosgood and James Fairbanks. They show that you can use diagrams to write down the sorts of equations on manifolds that physicists care about. In this post I’ll try to convey the main ideas of the paper… Read more

  • Understanding Sheaves §3

    In a previous post, we discussed sieves, the sieve-y definition of Grothendieck topologies and a few exaples thereof. Today we’ll return to sheaves, but this time we do so armed with a better understanding of sites (the “places” in which to define sheaves). This post consists of notes and reflections from reading Daniel Rosiak’s book… Read more

  • Understanding Sheaves §2

    This post is in two parts. The first part consists of notes based on reading Daniel Rosiak’s book Sheaf Theory Through Examples; while the second part of this post (titled “Decompositions as topologies”) consists of new work straight from my notebook. As always the lines are blurred between learning something that is new to me… Read more

  • Dynamic programming on non-recursive structures

    In a previous post I mentioned a very simple algorithm for solving decision problems encoded as sheaves on inputs that display some recursive structure. In this post I’ll talk about what goes wrong with that approach when we’re trying to compute on inputs that are presented in a recursive, tree-like way and I’ll also propose… Read more

  • Understanding sheaves §1

    Sheaves came up in my last post, so , since I’m quite new to sheaves, I figured it would be a good idea to learn some more about them. Naturally, I decided to share my notes with you. The books I’m using to learn about sheaves are: (1) Sheaf Theory though Examples [Rosiak] and (2)… Read more