Department of Infectious Parasitic and ImmuneMediated Diseases, Istituto Superiore di Sanità, Rome, Italy (M L Ricci BiolD, S Fontana PhD, F Pinci BiolD, M Scaturro PhD); Azienda Unità Sanitaria Locale, Forlì, Italy (E Fiumana MD); Azienda Unità Sanitaria Locale, Cesena, Italy (M F Pedna BiolD); Agenzia Regionale Prevenzione e Ambiente, Bologna, Italy (M A Bucci Sabattini BiolD); and “G B Morga...

It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with the double power locale monad and whose right adjoints preserve finite coproduct. They are also characterised as those adjunctions that preserve the order e...

. On considère une classe de systèmes non-linéaires pour lesquels la technique de synthèse par backstepping n’est pas applicable. On présente un critère pour la synthèse d’une commande hybride faisant l’union d’une commande par backstepping et d’une commande locale. Cette commande hybride rend le système bouclé globalement asymptotiquement stable. Le critère de sélection repose sur le choix de ...

It is well known that the internal suplattices in the topos of sheaves on a locale are precisely the modules on that locale. Using enriched category theory and a lemma on KZ doctrines we prove (the generalization of) this fact in the case of ordered sheaves on a small quantaloid. Comparing module-equivalence with sheaf-equivalence for quantaloids and using the notion of centre of a quantaloid, ...

The use of localization mechanism is essential in wireless sensor networks either for communication protocols (geographic routing protocol) or for application (vehicle tracking). The goal of localization mechanism is to determine either precisely or coarsely the node location using either a global reference (GPS) or a locale one. In this work, we introduce a new localized algorithm which classi...

Locales provide a module system for the Isabelle proof assistant. Recently, locales have been ported to the new Isar format for structured proofs. At the same time, they have been extended by locale expressions, a language for composing locale specifications, and by structures, which provide syntax for algebraic structures. The present paper presents both and is suitable as a tutorial to locale...

In contexts in which the principle of dependent choice may not be available, as toposes or Constructive Set Theory, standard locale theoretic results related to complete regularity fail hold. To resolve this difficulty, B. Banaschewski and A. Pultr introduced strongly regular locales. Unfortunately, Pultr's notion relies on non-constructive set existence principles that hinder its use Theory. a...