Categories and Computer Science (Cambridge Computer Science Texts)
Categories and Computer Science (Cambridge Computer Science Texts)
Cambridge University Press | 1992-08-28 | ISBN: 0521422264 | PDF | 2 Mb | 180 pages
Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theory as part of the curriculum for undergraduate computer science students. Here, the theory is developed in a straightforward way, and is enriched with many examples from computer science.