Categories and Computer Science |
Contents
The Algebra of Functions | 3 |
Free Categories | 10 |
The Dual of a Category | 16 |
Copyright | |
14 other sections not shown
Other editions - View all
Common terms and phrases
a₁ algebra alphabet arrows 1x arrows f associative law axioms B₁ bijection binary called Cartesian Closed Categories category theory category with products circuit codomain computer science confluent construct data type defined Definition denote directed graphs distributive category distributive law end object equations Example false flow chart following diagram commutes free category free monoid function f functional specification functor F given functions graph morphism Hence I+IR identity arrows imperative program initial input IR+IR IR² isomorphism Kan extension left Kan extension multigraph natural numbers natural transformation node null symbols operations pair of objects paths preorder push queue real numbers regular grammar regular language relations satisfying sets and functions Show space stack Stack(X subsets sums Suppose terminal object test(x Turing machine u₁ unique arrow universal property X₁ Y₁