✦ LIBER ✦

Precovers, Modalities and Universal Closure Operators in a Topos

✍ Scribed by John L. Bell; Silvia Gebellato

Publisher: John Wiley and Sons
Year: 1996
Tongue: English
Weight: 526 KB
Volume: 42
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19960420124

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

In this paper we develop the notion of formal precover in a topos by defining a relation between elements and sets in a local set theory. We show that such relations are equivalent to modalities and to universal closure operators. Finally we prove that these relations are well characterized by a convenient restriction to a particular set.

Mathematics Subject Classification: 03G30, 03B20, 03F55.

📜 SIMILAR VOLUMES

Community works - 26 case studies showin

Community works - 26 case studies showing community Operational Research in action: C. Ritchie, A. Taket and J. Bryant (eds.) Pavic Publications, Sheffield Hallam University, UK; distributed by the Operational Research Society, Birmingham, UK

✍ R.V.V. Vidal 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 87 KB

Strategies adopted by operators when dia

Strategies adopted by operators when diagnosing plant failures from a simulated control panel : Marshall, E., and Shepherd, A. In: Human Operators and Simulation. Proceedings of a Symposium at Loughborough University of Technology, 29–31 March 1977. Institute of Measurement and Control 1977, pp 59–66

📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 133 KB

Supersymmetry transformations in the ope

Supersymmetry transformations in the operator formulation of string field theory: A. Jevicki. Department of Physics, Brown University, Providence, Rhode Island 02912; and B. Sazdović. Department of Physics, Brown University, Providence, Rhode Island 02912, and Institute of Physics, Belgrade, Yugoslavia

📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 68 KB

Communicating with shop-floor operators