27 Sep
2001
27 Sep
'01
1:53 a.m.
Diagrams may sometimes be graphs. They may sometimes be categories, but it's pretty rare to specify the identity maps in them. So surely the right definition is that they are "elementary sketches", ie category presentations, not that there is any need to generate the category from them. This is the view that I take in Section 7.3 of "Practical Foundations". http://www.dcs.qmul.ac.uk/~pt/Practical_Foundations/html/s73.html Paul 28-Sep-2001 13:14:49 -0300,4330;000000000001-00000029