2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/137325Categorial methods for generating new local algebras from old ones are presented. A direct proof of the differential structure of the prolongations of a manifold is proposed.Category TheoryCommutative AlgebraDifferential Geometry13H10; 58A20text