Cofibrations in the category of Frölicher spaces. I. (Q2460027)

Un espace de Frölicher est un triplet \((X,\mathcal F_X,\mathcal C_X)\) formé d'un ensemble \(X\) et de sous-ensembles \(\mathcal C_X\subset X^{\mathbb R}\) et \(\mathcal F_X\subset \mathbb R^X\) vérifiant: 1) \(f\circ c\in C^\infty(\mathbb R)\) quels que soient \(f\in\mathcal F_X\) et \(c\in \mathcal C_X\), 2) \(\mathcal F_X=\{f:X\to\mathbb R\mid f\circ c\in C^\infty(\mathbb R) \text{ pour tout }c\in\mathcal C_X\}\), 3) \(\mathcal C_X=\{c:\mathbb R\to X\mid f\circ c\in\mathcal C^\infty(\mathbb R) \text{ pour tout }f\in\mathcal F_X\}\). Les auteurs modifient la définition topologique d'une cofibration pour l'adapter à la catégorie des espaces de Frölicher. Ils adaptent aussi la notion de rétracte de voisinage par déformation forte aux sous-espaces de Frölicher d'un espace de Frölicher, de façon à obtenir une caractérisation des cofibrations fermées dans ces espaces, et ils construisent la suite de Puppe d'une cofibration dans la catégorie des espaces de Frölicher.