Characterizing shape theories by Kan extensions
type: Item
instance of: scholarly article
title: Characterizing shape theories by Kan extensions
zbMATH Open document ID: 1001.55011
DOI: 10.1016/S0166-8641(01)00086-4
published in: Topology and its Applications
publication date: 2002-08-22T00:00:00Z
review text: The author considers the study of the pairs (\textbf{C,K}) of categories, where \({\mathbf K}\) is a proreflective (or dense) subcategory of \({\mathbf C}\), which means that every object of \({\mathbf C}\) admits a \({\mathbf K}\)-expansion. Such a pair (\textbf{C,K}) is a germ for a shape theory and it is called a pre-shape theory. Let \textbf{Cat} denote the metacategory of all categories and let \textbf{Cat}* be its subcategories of all categories having inverse limits. Let (\textbf{C,K}) be a fixed pre-shape theory and let \(F:{\mathbf K}\to {\mathbf A}\), \({\mathbf A}\in \)\textbf{Cat}*, be a given functor. This functor defines in a natural way a functor \(\check F:{\mathbf C}\to {\mathbf A}\) which is called a Čech extension of \(F\). The author proves that this extension coincides, up to natural isomorphisms, with the pointwise right Kan extension Ran \(F:{\mathbf C}\to{\mathbf A}\) of \(F\) along the embedding \(E:{\mathbf K}\subset {\mathbf C}\). Moreover, Ran \(F\) is preserved by every functor \(G:{\mathbf A}\to {\mathbf B}\) which commutes with inverse limits. (For the notion of right Kan extension see [\textit{S. MacLane}, Categories for the working mathematician, Grad. Texts Math. 5 (1971; Zbl 0232.18001), p. 232]). With these preliminaries, the author proves the following main results: Theorem 3.1. Let (\textbf{C,K}) be a pair of categories. Assume that Ran \(e_{\mathbf K}\) exists and is preserved by Pro \(E\). Then (\textbf{C,K}) is a pre-shape theory with Ran \(e_{\mathbf K}\) as its proreflector. (Here \(e_{\mathbf K}: {\mathbf K}\to\text{Pro} {\mathbf K}\) is the natural embedding). Theorem 3.2. A pair (\textbf{C,K}) is a pre-shape theory if and only if it has the Kan extension property, that is: for every functor \(F:{\mathbf K}\to {\mathbf A}\), \({\mathbf A}\in \)\textbf{Cat}*, Ran \(F\) exists and it is preserved by every functor \(G:{\mathbf A}\to {\mathbf B}\) which commutes with inverse limits. As examples of pre-shape theories the follo…
reviewed by: Ioan Pop
Mathematics Subject Classification ID: 55P55
Mathematics Subject Classification ID: 54C56
Mathematics Subject Classification ID: 18A40
Mathematics Subject Classification ID: 18B30
zbMATH DE Number: 1787503
zbMATH Keywords: pre-shape theory
author: Luciano Stramaccia
MaRDI profile type: Publication
cites work: Q3706940
cites work: Concerning homotopy properties of compacta
cites work: Kan extensions of homotopy functors
cites work: Q3812424
cites work: Q5640424
cites work: On the categorical shape of a functor
cites work: Q5643279
cites work: Q4109003
cites work: Q3946314
cites work: ON EPIDENSE SUBCATEGORIES OF TOPOLOGICAL CATEGORIES
cites work: An extension and axiomatic characterization of Borsuk's theory of shape
cites work: Cech Extensions of Contravariant Functors
cites work: Shapes for topological spaces
cites work: Q3959112
cites work: Q5639839
cites work: Čech cohomology and covering dimension for topological spaces
cites work: Reflective subcategories and dense subcategories
description: scientific article; zbMATH DE number 1787503