Construction de théories d'exactitude
This paper is a contribution to the axiomatic approach to geometric objects. A collection of a manifold M, a topological space N, a group homomorphism E: Diff(M) → Homeo(N) and a function π: N → M is called a quasi-natural bundle if (1) π ∘ E(f) = f ∘ π for every f ∈ Diff(M) and (2) if f,g ∈ Diff(M) are two diffeomorphisms such that f|U = g|U for some open subset U of M, then E(f)|π^{-1}(U) = E(g)|π^{-1}(U). We give conditions which ensure that π: N → M is continuous. In particular, if (M,N,E,π)...
We raise the question of when a simplicial object in a catetgory is deemed contractible. The literature offers three definitions. One is the existence of an “extra degeneracy”, indexed by , which does not quite live up to the name. This can be strengthened to a “strong extra degeneracy". Another possibility is that it be homotopic to a constant simplicial object. Despite claims in the literature to the contrary, we show that all three are distinct concepts with strong extra degeneracy implies extra...