3 Mar
2003
3 Mar
'03
9:43 a.m.
Dear categorists, is there a good reference for the construction of inductive datatypes (lists, trees etc.) in a topos with nno (assuming that my guess that such a construction is indeed possible is correct)? Thanks a lot, Lutz Schröder -- ----------------------------------------------------------------------------- Lutz Schroeder Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen lschrode@informatik.uni-bremen.de P.O.Box 330440, D-28334 Bremen http://www.informatik.uni-bremen.de/~lschrode -----------------------------------------------------------------------------