| |
| | Citations: A Taste of Category Theory for Computer Scientists - Pierce (ResearchIndex) |
 | | An introduction to category theory for computing scientists is [3] Some underlying intuitions for basic categorical concepts are given in [16] and an overview of the Computing Science categorical literature is given in |
 | | For more information on this subject, we recommend the works of Barr, Goguen, and Pierce [3, 4, 5] A category is a collection of objects over which are defined arrows, or mappings, that preserve the essential nature or structure of the objects. |
 | | A basic introduction to concurrency using CSP is [30] We will use semicolon ( to denote composition of functions, so that (f ; g) x) g(f(x) more generally, we let semicolon denote composition in any category, and we let 1 A denote the identity morphism at the object A. In set theory,.... |
| citeseer.nj.nec.com /context/483130/0 (454 words) |
|