What people are saying - Write a review
We haven't found any reviews in the usual places.
The Algebra of Functions
The Dual of a Category
5 other sections not shown
Other editions - View all
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