Abstract
Logics may be understood as systems, algebras, spaces, or categories, depending on a chosen perspective (logical, algebraic, topological, categorical). We can also profit from many combinations of the various approaches, using correlative tools from category and topology, in particular, sheaves, topos, allegories, and intermediate categories. In these combinations, a functorial paradigm e…