This was published at the 2019 Conference on Applied Category Theory (ACT). You might find the other accepted papers interesting:

http://www.cs.ox.ac.uk/ACT2019/