On right adjoints to exponential functors (Q1094522)

An object A in a Cartesian closed category is called tiny if the exponential functor \((-)^ A\) has a right adjoint \((-)_ A\). It was first observed by \textit{F. W. Lawvere} [Cah. Topologie Géom. Différ. 21, 377-392 (1980; Zbl 0472.18009)] that tiny objects occur naturally in many of the models of synthetic differential geometry, and that their existence and properties can be used to clarify many of the concepts of that theory. This paper, based on results from the author's Ph.D. thesis, is the first study of tininess in a general topos to appear in print. \{Unfortunately, the paper is marred by the assumption, made implicitly in Definition 0.2, that the ``inclusion of constants'' map \(B\to B^ A\) is monic; in general this is true only if A is well-supported (i.e. \(A\to 1\) is epic). As a consequence, the proofs of those results in the paper (1.4, 2.4 and 2.14) which do not assume well-supportedness of the tiny objects involved are invalid. Nevertheless, the results are correct as stated; a corrigendum, based on ideas supplied to the author by the reviewer, should appear shortly.\}