The Formal Dimension of a Toplogical Space.
Let p be a prime, and let ℱ be the category of functors from the finite -vector spaces to all -vector spaces. The object Id of ℱ is the inclusion functor. Let F and G be two objects in ℱ. If F and G satisfy suitable conditions, the main result of this paper allows one to compute from the knowledge of and .