相关论文: Cones and causal structures on topological and dif…

Topological defects must respect causality, a statement leading to restrictive constraints on the power spectrum of the total cosmological perturbations they induce. Causality constraints have for long been known to require the presence of…

For causal graphs we propose a definition of proper time which for small scales is based on the concept of volume, while for large scales the usual definition of length is applied. The scale where the change from "volume" to "length" occurs…

The correspondence between wind Riemannian structures and spacetimes endowed with a Killing vector field is deepened by considering a cone structure endowed with a vector field that preserve the structure (termed "cone Killing vector…

Some well-known Lorentzian concepts are transferred into the more general setting of cone structures, which provide both the causality of the spacetime and the notion of cone geodesics without making use of any metric. Lightlike…

We define the finest order on inductive limits of ordered cones which makes the linear mappings monotone and gives rise to the definition of inductive limit topologies for cones. Using the polars of neighborhoods, we establish embeddings…

Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and graded monads do this in a modular way. Here, instead, we equip…

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…

The framework of causal models provides a principled approach to causal reasoning, applied today across many scientific domains. Here we present this framework in the language of string diagrams, interpreted formally using category theory.…

Computation models such as circuits describe sequences of computation steps that are carried out one after the other. In other words, algorithm design is traditionally subject to the restriction imposed by a fixed causal order. We address a…

Discussions on causal relations in real life often consider variables for which the definition of causality is unclear since the notion of interventions on the respective variables is obscure. Asking 'what qualifies an action for being an…

Some of the basic concepts of topology are explored through known physics problems. This helps us in two ways, one, in motivating the definitions and the concepts, and two, in showing that topological analysis leads to a clearer…

Causality plays an important role in understanding intelligent behavior, and there is a wealth of literature on mathematical models for causality, most of which is focused on causal graphs. Causal graphs are a powerful tool for a wide range…

In this review, we discuss approaches for learning causal structure from data, also called causal discovery. In particular, we focus on approaches for learning directed acyclic graphs (DAGs) and various generalizations which allow for some…

Recently many papers on cone metric spaces have been appeared, and main topological properties of such spaces have been obtained. A cone metric space is Hausdorff, and first countable, so the topology of it coincides with a topology induced…

A continuous cohomology theory for topological quandles is introduced, and compared to the algebraic theories. Extensions of topological quandles are studied with respect to continuous 2-cocycles, and used to show the differences in second…

The topology of orientable (2 + 1)d spacetimes can be captured by certain lumps of non-trivial topology called topological geons. They are the topological analogues of conventional solitons. We give a description of topological geons where…

In general relativity, the causal structure between events is dynamical, but it is definite and observer-independent; events are point-like and the membership of an event A in the future or past light-cone of an event B is an…

Localic relations are relations internal to the category of locales, forming the point-free analogues of set-theoretic relations, and providing the general backdrop of localic order theory. This work studies 'open cone' localic relations,…

Perhaps the most prominent current definition of (actual) causality is due to Halpern and Pearl. It is defined using causal models (also known as structural equations models). We abstract the definition, extracting its key features, so that…

We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In…