Quantaloids Describing Causation and Propagation of Physical Properties

A general principle of causal duality for physical systems, lying at the base of representation theorems for both compound and evolving systems, is proved; formally it is encoded in a quantaloidal setting. Other particular examples of quantaloids and quantaloidal morphisms appear naturally within this setting; as in the case of causal duality, they originate from primitive physical reasonings on the lattices of properties of physical systems. Furthermore, an essentially dynamical operational foundation for studying physical systems is outlined; complementary as it is to the existing static operational foundation, it leads to the natural axiomatization of causal duality in operational quantum logic.     

Quantaloid-enriched 范畴上的闭包算子与闭包系统

In this paper, we introduce the fundamental notions of closure operator and closure system in the framework of quantaloid-enriched category. We mainly discuss the relationship between closure operators and adjunctions and establish the one-to-one correspondence between closure operators and closure systems on quantaloid-enriched categories.     

Quantaloids for Concurrency

S. Abramsky has introduced interaction categories as a new semantics for concurrent computation. We show that interaction categories can be naturally described in the language of quantaloids. More precisely, they are closely related to fix-points of a certain comonad on the category of quantaloids with biproducts.     

Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid

Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid , which we call ‘ -order’. This requires a theory of semicategories enriched in the quantaloid , that admit a suitable Cauchy completion. There is a quantaloid of -orders and ideal relations, and a locally ordered category of -orders and monotone maps; actually, . In particular is , with Ω a locale, the category of ordered objects in the topos of sheaves on Ω. In general -orders can equivalently be described as Cauchy complete categories enriched in the split-idempotent completion of . Applied to a locale Ω this generalizes and unifies previous treatments of (ordered) sheaves on Ω in terms of Ω-enriched structures.Mathematics Subject Classifications (2000) 06F07, 18B35, 18D05, 18D20.