## Categories and Computer Science |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

The Algebra of Functions | 3 |

Free Categories | 10 |

The Dual of a Category | 16 |

Copyright | |

5 other sections not shown

### Other editions - View all

### Common terms and phrases

algebra alphabet arrows axioms beginning calculation called category with products Chapter circuit clear coincidences components composition computer science Consider consists constants construct contains corresponds defined Definition denote described distributive category elements empty equations exactly Example exists expression fact faithful functor false Find finite free category function f functor Further give given grammar graph Hence identity imperative program initial input isomorphism language length look machine mathematics monoid morphism multigraph multiply namely natural numbers natural transformation Note Notice objects obtained operations pair paths possible procedure projections push reductions regular language relations Remark satisfying Show space specified stack subsets sums Suppose symbol tables terminal trees true unique arrow universal property write X X Y