On right adjoints to exponential functors

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)

Review text

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.\}

Recommendations

Cites work

Cited in

(16)

This page was built for publication: On right adjoints to exponential functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1094522)