Category Theory for Computing Science - Mathematics and Statistics

Download PDF
0 downloads 250 Views 2MB Size Report
Comment
Aug 4, 2012 - 1991], [Fokkinga, 1992] and in the tutorials in [Pitt et al., 1986]. ...... cc e c c m and hence, by uniqu