Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385349618> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4385349618 endingPage "306" @default.
- W4385349618 startingPage "284" @default.
- W4385349618 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." @default.
- W4385349618 created "2023-07-29" @default.
- W4385349618 creator A5023841122 @default.
- W4385349618 creator A5083044872 @default.
- W4385349618 date "2023-08-07" @default.
- W4385349618 modified "2023-10-01" @default.
- W4385349618 title "On the Pre- and Promonoidal Structure of Spacetime" @default.
- W4385349618 cites W1859542606 @default.
- W4385349618 cites W1969454298 @default.
- W4385349618 cites W1985079222 @default.
- W4385349618 cites W1999310924 @default.
- W4385349618 cites W2008302628 @default.
- W4385349618 cites W2062068040 @default.
- W4385349618 cites W2101416179 @default.
- W4385349618 cites W2102625227 @default.
- W4385349618 cites W2576183339 @default.
- W4385349618 cites W2607566499 @default.
- W4385349618 cites W2733104918 @default.
- W4385349618 cites W2808043351 @default.
- W4385349618 cites W2950993906 @default.
- W4385349618 cites W3098807922 @default.
- W4385349618 cites W3104500086 @default.
- W4385349618 cites W3105845589 @default.
- W4385349618 cites W3114375010 @default.
- W4385349618 cites W3186742413 @default.
- W4385349618 cites W3198506840 @default.
- W4385349618 cites W628774535 @default.
- W4385349618 doi "https://doi.org/10.4204/eptcs.380.17" @default.
- W4385349618 hasPublicationYear "2023" @default.
- W4385349618 type Work @default.
- W4385349618 citedByCount "0" @default.
- W4385349618 crossrefType "journal-article" @default.
- W4385349618 hasAuthorship W4385349618A5023841122 @default.
- W4385349618 hasAuthorship W4385349618A5083044872 @default.
- W4385349618 hasBestOaLocation W43853496181 @default.
- W4385349618 hasConcept C121332964 @default.
- W4385349618 hasConcept C127413603 @default.
- W4385349618 hasConcept C130187892 @default.
- W4385349618 hasConcept C13336665 @default.
- W4385349618 hasConcept C136119220 @default.
- W4385349618 hasConcept C156772000 @default.
- W4385349618 hasConcept C202444582 @default.
- W4385349618 hasConcept C33923547 @default.
- W4385349618 hasConcept C51255310 @default.
- W4385349618 hasConcept C529865628 @default.
- W4385349618 hasConcept C62520636 @default.
- W4385349618 hasConcept C78519656 @default.
- W4385349618 hasConceptScore W4385349618C121332964 @default.
- W4385349618 hasConceptScore W4385349618C127413603 @default.
- W4385349618 hasConceptScore W4385349618C130187892 @default.
- W4385349618 hasConceptScore W4385349618C13336665 @default.
- W4385349618 hasConceptScore W4385349618C136119220 @default.
- W4385349618 hasConceptScore W4385349618C156772000 @default.
- W4385349618 hasConceptScore W4385349618C202444582 @default.
- W4385349618 hasConceptScore W4385349618C33923547 @default.
- W4385349618 hasConceptScore W4385349618C51255310 @default.
- W4385349618 hasConceptScore W4385349618C529865628 @default.
- W4385349618 hasConceptScore W4385349618C62520636 @default.
- W4385349618 hasConceptScore W4385349618C78519656 @default.
- W4385349618 hasLocation W43853496181 @default.
- W4385349618 hasLocation W43853496182 @default.
- W4385349618 hasOpenAccess W4385349618 @default.
- W4385349618 hasPrimaryLocation W43853496181 @default.
- W4385349618 hasRelatedWork W1513555100 @default.
- W4385349618 hasRelatedWork W1912064545 @default.
- W4385349618 hasRelatedWork W2150706552 @default.
- W4385349618 hasRelatedWork W3000482967 @default.
- W4385349618 hasRelatedWork W3139452606 @default.
- W4385349618 hasRelatedWork W4283326201 @default.
- W4385349618 hasRelatedWork W4287903786 @default.
- W4385349618 hasRelatedWork W4385349618 @default.
- W4385349618 hasRelatedWork W44500695 @default.
- W4385349618 hasRelatedWork W65148844 @default.
- W4385349618 hasVolume "380" @default.
- W4385349618 isParatext "false" @default.
- W4385349618 isRetracted "false" @default.
- W4385349618 workType "article" @default.