-catégories (catégories dans un triple)
We consider Taylor approximation for functors from the small category of finite pointed sets to modules and give an explicit description for the homology of the layers of the Taylor tower. These layers are shown to be fibrant objects in a suitable closed model category structure. Explicit calculations are presented in characteristic zero including an application to higher order Hochschild homology. A spectral sequence for the homology of the homotopy fibres of this approximation is provided.
We define “the category of compactifications”, which is denoted CM, and consider its family of coreflections, denoted corCM. We show that corCM is a complete lattice with bottom the identity and top an interpretation of the Čech–Stone . A corCM implies the assignment to each locally compact, noncompact a compactification minimum for membership in the “object-range” of . We describe the minimum proper compactifications of locally compact, noncompact spaces, show that these generate the atoms...
A criterion for the existence of an initial completion of a concrete category universal w.r.tḟinite products and subobjects is presented. For metric spaces and uniformly continuous maps this completion is the category of uniform spaces.