arXiv subjects
Publications and source records attributed to Paul Arnaud Songhafouo Tsopmene.
For any object A in a simplicial model category M, we construct a topological space  which classifies homogeneous functors whose value on k open balls is equivalent to A. This extends a classification result of Weiss for homogeneous functors into topological spaces.
For a smooth manifold M, we define a topological space X(k,M), and show that polynomial functors O(M)--> C of degree <= k from the poset of open subsets of M to a simplicial model category can be classified be a version of linear functors from O(X(k,M)) to C.
Let M be a smooth manifold, and let O(M) be the poset of open subsets of M. Manifold calculus, due to Goodwillie and Weiss, is a calculus of functors suitable for studying contravariant functors (cofunctors) F: O(M)--> Top from O(M) to the category of spaces. Weiss showed that polynomial cofunctors of degree <= k are determined by their values on O_k(M), where O_k(M) is the full subposet of O(M) whose objects are open subsets diffeomorphic to the disjoint union of at most k balls. Afterwards Pryor showed that one can replace O_k(M) by more general subposets and still recover the same notion of polynomial cofunctor. In this paper, we generalize these results to cofunctors from O(M) to any simplicial model category C. If conf(k, M) stands for the unordered configuration space of k points in M, we also show that the category of homogeneous cofunctors O(M) --> C of degree k is weakly equivalent to the category of linear cofunctors O(conf(k, M)) --> C provided that C has a zero object. Using a completely different approach, we also show that if C is a general model category and F: O_k(M) --> C is an isotopy cofunctor, then the homotopy right Kan extension of F along the inclusion O_k(M) --> O(M) is also an isotopy cofunctor.
Let M be a smooth manifold, and let O(M) be the poset of open subsets of M. Let C be a category that has a zero object and all small limits. A homogeneous functor (in the sense of manifold calculus) of degree k from O(M) to C is called very good if it sends isotopy equivalences to isomorphisms. In this paper we show that the category VGHF of such functors is equivalent to the category of contravariant functors from the fundamental groupoid of Conf(k, M) to C, where Conf(k, M) stands for the unordered configuration space of k points in M. As a consequence of this result, we show that the category VGHF is equivalent to the category of representations of the fundamental group of Conf(k, M) in C, provided that Conf(k, M) is connected. We also introduce a subcategory of vector bundles that we call very good vector bundles, and we show that it is abelian, and equivalent to a certain category of very good functors.