On the Pre- and Promonoidal Structure of Spacetime

DOI10.4204/EPTCS.380.17MaRDI QIDQ6150163FDO

Authors Aleks Kissinger

Publication date 5 March 2024

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2206.09678

Mathematics Subject Classification ID

Computer science (68-XX)

Abstract: The notion of a joint system, as captured by the monoidal (a.k.a. tensor) product, is fundamental to the compositional, process-theoretic approach to physical theories. Promonoidal categories generalise monoidal categories by replacing the functors normally used to form joint systems with profunctors. Intuitively, this allows the formation of joint systems which may not always give a system again, but instead a generalised system given by a presheaf. This extra freedom gives a new, richer notion of joint systems that can be applied to categorical formulations of spacetime. Whereas previous formulations have relied on partial monoidal structure that is only defined on pairs of independent (i.e. spacelike separated) systems, here we give a concrete formulation of spacetime where the notion of a joint system is defined for any pair of systems as a presheaf. The representable presheaves correspond precisely to those actual systems that arise from combining spacelike systems, whereas more general presheaves correspond to virtual systems which inherit some of the logical/compositional properties of their ``actual counterparts. We show that there are two ways of doing this, corresponding roughly to relativistic versions of conjunction and disjunction. The former endows the category of spacetime slices in a Lorentzian manifold with a promonoidal structure, whereas the latter augments this structure with an (even more) generalised way to combine systems that fails the interchange law.

Recommendations

• Causal categories: relativistically interacting processes
• Categories for the Practising Physicist
• What Can (Mathematical) Categories Tell Us about Spacetime?
• Introducing categories to the practicing physicist
• Monoidal categories, symmetries, and compound physical systems

Cites work

• scientific article; zbMATH DE number 3240363 (Why is no real title available?)
• scientific article; zbMATH DE number 7649901 (Why is no real title available?)
• (Co)end Calculus
• A categorical semantics for causal structure
• A system of interaction and structure
• Algebraic categories with few monoidal biclosed structures or none
• Categorical notions of fibration
• Causal categories: relativistically interacting processes
• Domain of Dependence
• Free products of higher operad algebras
• Higher-dimensional algebra and topological quantum field theory
• Interacting quantum observables: categorical algebra and diagrammatics
• Monoidal functor categories and graphic Fourier transforms
• Network models from Petri nets with catalysts
• On closed categories of functors
• Premonoidal categories and notions of computation
• Space in Monoidal Categories
• The class of continuous timelike curves determines the topology of spacetime
• Von Neumann categories

This page was built for publication: On the Pre- and Promonoidal Structure of Spacetime

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6150163)