16 Feb
2008
16 Feb
'08
1:51 a.m.
Every finite category with binary products is a preorder: any two objects A,B have at most one arrow A-->B. Otherwise the successive powers of B would have unboundedly many arrows from A. This is Peter Freyd's proof that small complete categories are preorders. Andrei would have thought of it at a more reasonable hour. Colin