@techreport{K04e,
  number="TR2004-1964",
  month="September",
  title="Toward the Automation of Category Theory",
  author="Dexter Kozen",
  year="2004",
  institution="Computer Science Department, Cornell University"
}