Profunctors, Open Maps and Bisimulation

This paper studies fundamental connections between profunctors (i.e., distributors, or bimodules), open maps and bisimulation. In particular, it proves that a colimit preserving functor between presheaf categories (corresponding to a profunctor) preserves open maps and open map bisimulation. Consequently, the composition of profunctors preserves open maps as 2-cells. A guiding idea is the view that profunctors, and colimit preserving functors, are linear maps in a model of classical linear logic. But profunctors, and colimit preserving functors, as linear maps, are too restrictive for many applications. This leads to a study of a range of pseudo-comonads and how non-linear maps in their co-Kleisli bicategories preserve open maps and bisimulation. The pseudo-comonads considered are based on finite colimit completion, ``lifting'', and indexed families. The paper includes an appendix summarising the key results on coends, left Kan extensions and the preservation of colimits. One motivation for this work is that it provides a mathematical framework for extending domain theory and denotational semantics of programming languages to the more intricate models, languages and equivalences found in concurrent computation. But the results are likely to have more general applicability because of the ubiquitous nature of profunctors

Status of the High-Frequency Upgrade of the Sardinia Radio Telescope

The Sardinia Radio Telescope is going through a major upgrade aimed at observing the universe at up to 116 GHz. A budget of 18.700.000 E has been awarded to the Italian National Institute of Astrophysics to acquire new state-of-the-art receivers, back-end, and high-performance computing, to develop a sophisticated metrology system and to upgrade the infrastructure and laboratories. This contribution draws the status of the whole project at eight months from the end of the funding scheme planned for August 2022

The high-frequency upgrade of the Sardinia Radio Telescope

We present the status of the Sardinia Radio Telescope (SRT) and its forthcoming update planned in the next few years. The post-process scenario of the upgraded infrastructure will allow the national and international scientific community to use the SRT for the study of the Universe at high radio frequencies (up to 116 GHz), both in single dish and in interferometric mode. A telescope like SRT, operating at high frequencies, represents a unique resource for the scientific community. The telescope will be ideal for mapping quickly and with relatively high angular resolution extended radio emissions characterized by low surface brightness. It will also be essential for spectroscopic and polarimetric studies of both Galactic and extragalactic radio sources. With the use of the interferometric technique, SRT and the other Italian antennas (Medicina and Noto) will operate within the national and international radiotelescope network, allowing astronomers to obtain images of radio sources at very high angular resolution

Risultati preliminari delle indagini archeologiche ed etnografiche presso il sito di Togolok 1

Modern Turkmenistan is mainly constituted by a desert landscape, yet despite its harsh climate, cultures have been able to construct networks of water channels since the Bronze Age. This has resulted in a man-made landscape that integrates towns and villages. Extensive surveys and recent archaeological excavations have highlighted that between 2400 and 2100 BC (Namazga V period), the region of the Murghab alluvial fan was characterised by the development of complex urban societies. However, starting from the Late Bronze Age, a new group of mobile pastoralists appeared in the Murghab region and settled along the edges of the sedentary sites. Although their presence is well-attested both by survey and excavation data, their degree of interaction with the sedentary farmers is still debated. In modern Turkmenistan, semi-mobile shepherds continue to drive their cattle across the Murghab, using mobile camps for different months. This paper presents the preliminary results of the excavation of the sedentary site of Togolok 1, as well as the first ethnographic study of the mobile communities of the Murghab region

A Categorical Axiomatics for Bisimulation

We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps. We work with 2-monads, T , on Cat. Operations on processes, such as nondeterministic sum, prefixing and parallel composition are modelled using functors in the Kleisli category for the 2-monad T

Abstract

Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRIC