1 paper · 1 filter
Silvio Ghilardi, Jérémie Marquès
We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axio…