Relatórios

18/07/00 CT 2000, The International Summer Conference in Category Theory, Villa Olmo, Como, Italy: Discussions incl. R Brown, FW Lawvere & M Zawadowski / Peter Freyd: Geometrical approach to calculus