19 Aug
1991
19 Aug
'91
12:09 a.m.
David Yetter's comments concerning toposes with free categories contains a misstatement. It is not true that finite limit theories have tripleable categories of models over any topos with NNO. For example, the category of small categories is not regular, hence not tripleable over Sets for any underlying functor (p. 120 of Triples, Toposes, and Theories). --Charles Wells =================================