Category Theory (math.CT)

• We present a categorical construction for modelling both definite and indefinite causal structures within a general class of process theories that include classical probability theory and quantum theory. Unlike prior constructions within categorical quantum mechanics, the objects of this theory encode finegrained causal relationships between subsystems and give a new method for expressing and deriving consequences for a broad class of causal structures. To illustrate this point, we show that this framework admits processes with definite causal structures, namely one-way signalling processes, non-signalling processes, and quantum n-combs, as well as processes with indefinite causal structure, such as the quantum switch and the process matrices of Oreshkov, Costa, and Brukner. We furthermore give derivations of their operational behaviour using simple, diagrammatic axioms.
• Reasoning in the 2-category Con of contexts, certain sketches for arithmetic universes (i.e. list arithmetic pretoposes; AUs), is shown to give rise to base-independent results of Grothendieck toposes, provided the base elementary topos has a natural numbers object. Categories of strict models of contexts $T$ in AUs are acted on strictly on the left by non-strict AU-functors and strictly on the right by context maps, and the actions combine in a strict action of a Gray tensor product. Any context extension $T_0 \subset T_1$ gives rise to a bundle. For each point of $T_0$ - a model $M$ of $T_0$ in an elementary topos $S$ with nno - its fibre is a generalized space, the classifying topos $S[T_1/M]$ for the geometric theory $T_1/M$ of $T_1$-models restricting to $M$. This construction is "geometric" in the sense that for any geometric morphism $f: S' \to S$, the classifier $S'[T_1/f^\ast M]$ is got by pseudopullback of $S[T_1/M]$ along $f$. This is treated in a fibrational way by considering a 2-category GTop of Grothendieck toposes (bounded geometric morphisms) fibred (as bicategory) over a 2-category of elementary toposes with nno, geometric morphisms, and natural isomorphisms. The notion of classifying topos as representing object for a split fibration is then fibred over variable base using fibrations "locally representable" over a second fibration.