The structure of initial completions
The paper studies the structure of functors in the category of functors from finite dimensional -vector spaces to -vector spaces, where is a finite functor and is the injective functor . A detection theorem is proved for sub-functors of such functors, which is the basis of the proof that the functors are artinian of type one.
We develop a new approach of extension calculus in the category of strict polynomial functors, based on Troesch complexes. We obtain new short elementary proofs of numerous classical -computations as well as new results. In particular, we get a cohomological version of the “fundamental theorems” from classical invariant theory for for big enough (and we give a conjecture for smaller values of ). We also study the “twisting spectral sequence” converging to the extension groups between the...
A categorical generalization of the notion of movability from inverse systems and shape theory was given by the first author who defined the notion of movable category and used it to interpret the movability of topological spaces. In this paper the authors define the notion of uniformly movable category and prove that a topological space is uniformly movable in the sense of shape theory if and only if its comma category in the homotopy category HTop over the subcategory HPol of polyhedra is uniformly...