“proceedings, Sydney Category Theory Seminar, 1972/1973”