Turing Categories (2019)
golem.ph.utexas.edu