@mastersthesis{13596, title = "External traced monoidal categories", author = "Nick Hu", year = "2019", institution = "University of Oxford", }