Next: Michael Makkai - Weak Up: Category Theory / Théorie Previous: André Joyal - Title
F. William Lawvere - Are homotopy types the same as infinitesimal skeleta?
F. WILLIAM LAWVERE, Department of Mathmatics, SUNY at Buffalo, Buffalo, New York 14214, USA | |
Are homotopy types the same as infinitesimal skeleta? |
Among the functors between cartesian-closed categories which have both left and right adjoints, there are those special ones in which those two adjoints are isomorphic, i.e. in which so to speak every component of an object X contains a unique point of X. For example, could be the classifying topos for algebraic field extensions of a given field while is the classifying topos for strongly local algebras over the same base; or could be the category of presheaves for a category in which has a terminal object which is also initial. Such could obviously arise by taking a suitable part of a large on which the two adjoints do not necessarily agree. But an opposite way to get from to such a special arises by the Hurewicz construction for the case where the left adjoint from to preserves finite products: the resulting re-enrichment will satisfy our special equation if the left adjoint actually preserves infinite (-indexed) products, which is to be expected if components can be detected using continuous intervals, but not if only combinatorial intervals are available in .Thus, although considerable fine-tuning of the setting (over fixed ) is still needed, it appears that the answer to the question in the title is: No, they are identical opposites.
Next: Michael Makkai - Weak Up: Category Theory / Théorie Previous: André Joyal - Title eo@camel.math.ca