L'endofoncteur "extension" associé à un espace de fermeture


Achache Achille, Arturo A. L. Sangalli




Soil $\mathcal L$ Is catégorie des fonctions résiduées entre treillis complets. A partir d'un ensemble $S$ on définit l’endofoncteuir $F$ (pour un objet $P$ et une flèche $r\colon P\longrightarrow Q$) par $F(P)=P^S$ et $(F(r))(v)$. A partir de chaque partie $\cap$-stable $\mathcal F$ de $\mathfrak p(S)$, on définit un endofonctcur $E_{\mathcal F}$ par $E_{\mathcal F}\{v\in P^S\backslash\forall t\in P,v^{-1}(\uparrow t)\in \mathcal F\}$ et $(E_{\mathcal F}(r))(v)=\wedge\{w\in E_{\mathcal F}(Q)/rv\leq w)$. L'opérateur de fermeture $\mu_{\mathcal F}(P)\colon F(P)\longrightarrow E_{\mathcal F}(P)$ permet alors de définir (pour chaque $\mathcal F$) un morphisme fonctoriel $F\overrightarrow{*}E_{\mathcal F}$.