Nonstandard analysis and topoi

Abstract

Si dà una nuova dimostrazione del teorema di Kock e Mikkelsen sulla fattorizzazione di un morfismo non-standard di topos F:E$\rightarrow E^{0}$ nell'ipotesi molto generale che F sia un funtore soltanto esatto a sinistra.

We give a new proof of the Kock-Mikkelsen factorization theorem of a non-standard morphism F:E$\rightarrow E^{0}$ of topoi, in the very weak hypothesis that F is a left exact functor.