Categories and Computer Science
โ R.F.C. Walters
๐ Library
๐
1992
๐ Cambridge University Press
๐ English
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