Subject: categories: devissage

From: "Todd H. Trimble" <[email-masked]>
Date: Sat, 29 Apr 2000 20:50:35 -0500 (CDT)

In section 5 of his Esquisse d'un Programme, in connection 
with tame topology, Grothendieck says he was able to convince 
himself that a formalism of devissage had some meaning in 
the context of topoi, via a suitable notion of "canonical 
tubular neighborhood of a subtopos" in an ambient topos. 

Has anyone besides Grothendieck pursued this idea? 

Thanks, 

Todd