Projective and inductive limits of differential triads (Q2733948)

Roughly speaking, a differential triad \((A,\partial, \Omega)\) over a topological space \(X\) is the minimum of what is needed for a sheafification approach by traditional means to a formal differential geometry [\textit{A. Mallios}, ``Geometry of vector sheaves'', Vols. I and II (Kluwer, Dordrecht) (1998; Zbl 0904.18001 and Zbl 0904.18002)], provided of course, that the triad is not trivial. Despite differentiable manifolds, the resulting category (with appropriate morphisms) is now closed under the formation of projective and inductive limits, which are formed by applying the pullback and pushout functors induced on categories of sheaves by a continuous map, respectively.NEWLINENEWLINEFor the entire collection see [Zbl 0966.00031].