La géométrie différentielle dans la catégorie
La catégorie des fibrés vectoriels sur les variétés linéaires par morceaux se plonge dans une catégorie des classes d’équivalence de faisceaux de modules sur les faisceaux de germes des fonctions lissables, et on construit les classes de Pontrjagin, vérifiant des axiomes habituels. Chaque variété possède un objet tangent dans cette catégorie, et est la classe totale de Pontrjagin associée à .