Two postdocs at Oxford in applications of Category Theory