Books

• Introductory Texts

  • Category Theory by Steve Awodey
  • An Introduction to Category Theory by Harold Simmons
  • Category Theory for Scientists by David Spivak
  • Categories and Computer Science by R. F. C. Walters
  • Basic Category Theory for Computer Scientists by Benjamin C. Pierce
    • Older Online Version: A Taste of Category Theory for Computer Scientists by Benjamin C. Pierce

• Categorical Logic

  • Introduction to Higher-Order Categorical Logic by J. Lambek and P. J. Scott
  • Categorical Logic by Andrew Pitts
  • Categories for Types by Roy L. Crole
  • Categorical Logic and Type Theory by Bart Jacobs
  • Categorical Semantics of Linear Logic For All by Valeria de Paiva
  • Categorical Semantics of Linear Logic by Paul-André Melliès
  • Homotopy Type Theory: Univalent Foundations of Mathematics by The Univalent Foundations Program at the Institute for Advanced Study

• Formal Systems

  • Introduction to Coalgebra: Towards Mathematics of States and Observations by Bart Jacobs

• Lecture Notes

  • Categories and Computability by J.R.B. Cockett

• Reference Texts

  • Category Theory for the Working Mathematician by Saunders Mac Lane
  • Toposes, Triples and Theories by Michael Barr and Charles Wells

Classic Papers

• (1973) A Junction Between Computer Science and Category Theory: Basic concepts and examples (part I) by J.A. Goguen, J.W. Thatcher, E.G. Wagner and J.B. Wright
• 1974. Towards a Theory of Type Structure by J. C. Reynolds

  <li>(1975) <a href="http://www.sciencedirect.com/science/article/pii/S0022000075800122">Discrete-Time Machines in Monoidal Closed Categories</a> by J. A. Goguen</li>
    <li>(1976) <a href="https://books.google.com/books/about/A_Junction_Between_Computer_Science_and.html?id=MBtntwAACAAJ">A Junction Between Computer Science and Category Theory: Basic concepts and examples (part II)</a> by J.A. Goguen, J.W. Thatcher, E.G. Wagner and J.B. Wright</li>
    <li>(1980) <a href="http://andrewkish-name.s3.amazonaws.com/scott80.pdf">Relating Theories of the Lambda-Calculus</a> by Dana Scott</li>
    <li>(1983) <a href="http://plv.mpi-sws.org/plerg/papers/reynolds-param83-2up.pdf">Types, Abstraction, and Parametric Polymorphism</a> by J. C. Reynolds</li>
    <li>(1989) <a href="http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=5D27B7929F03A5ED9A845DC543CA491D?doi=10.1.1.22.6153&amp;rep=rep1&amp;type=pdf">Linear Logic, *-Autonomous Categories and Cofree Coalgebras</a> by R.A.G. Seely</li>
    <li>(1991) <a href="http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-213.pdf">The Dialectica Categories</a> by Valeria de Paiva</li>