Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378510468> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4378510468 abstract "In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon representability and look at different variations, namely the correspondence between representable multicategories and monoidal categories, birepresentable polycategories and $ast$-autonomous categories, and representable virtual double categories and double categories. We then move to introduce (bi)fibrations for these structures. We show that it generalises representability in the sense that these structures are (bi)representable when they are (bi)fibred over the terminal one. We show how to use this theory to lift models of logic to more refined ones. In particular, we illustrate it by lifting the compact closed structure of the category of finite dimensional vector spaces and linear maps to the (non-compact) $ast$-autonomous structure of the category of finite dimensional Banach spaces and contractive maps by passing to their respective polycategories. We also give an operational reading of this example, where polylinear maps correspond to operations between systems that can act on their inputs and whose outputs can be measured/probed and where norms correspond to properties of the systems that are preserved by the operations. Finally, we recall the B'enabou-Grothendieck correspondence linking fibrations to indexed categories. We show how the B-G construction can be defined as a pullback of virtual double categories and we make use of fibrational properties of vdcs to get properties of this pullback. Then we provide a polycategorical version of the B-G correspondence." @default.
- W4378510468 created "2023-05-27" @default.
- W4378510468 creator A5068784096 @default.
- W4378510468 date "2023-05-24" @default.
- W4378510468 modified "2023-09-30" @default.
- W4378510468 title "Bifibrations of polycategories and classical multiplicative linear logic" @default.
- W4378510468 doi "https://doi.org/10.48550/arxiv.2305.15139" @default.
- W4378510468 hasPublicationYear "2023" @default.
- W4378510468 type Work @default.
- W4378510468 citedByCount "0" @default.
- W4378510468 crossrefType "posted-content" @default.
- W4378510468 hasAuthorship W4378510468A5068784096 @default.
- W4378510468 hasBestOaLocation W43785104681 @default.
- W4378510468 hasConcept C118615104 @default.
- W4378510468 hasConcept C124101348 @default.
- W4378510468 hasConcept C13336665 @default.
- W4378510468 hasConcept C134306372 @default.
- W4378510468 hasConcept C136119220 @default.
- W4378510468 hasConcept C137212723 @default.
- W4378510468 hasConcept C139002025 @default.
- W4378510468 hasConcept C202444582 @default.
- W4378510468 hasConcept C2777680557 @default.
- W4378510468 hasConcept C2780580338 @default.
- W4378510468 hasConcept C28077239 @default.
- W4378510468 hasConcept C33923547 @default.
- W4378510468 hasConcept C41008148 @default.
- W4378510468 hasConcept C42747912 @default.
- W4378510468 hasConcept C54884031 @default.
- W4378510468 hasConceptScore W4378510468C118615104 @default.
- W4378510468 hasConceptScore W4378510468C124101348 @default.
- W4378510468 hasConceptScore W4378510468C13336665 @default.
- W4378510468 hasConceptScore W4378510468C134306372 @default.
- W4378510468 hasConceptScore W4378510468C136119220 @default.
- W4378510468 hasConceptScore W4378510468C137212723 @default.
- W4378510468 hasConceptScore W4378510468C139002025 @default.
- W4378510468 hasConceptScore W4378510468C202444582 @default.
- W4378510468 hasConceptScore W4378510468C2777680557 @default.
- W4378510468 hasConceptScore W4378510468C2780580338 @default.
- W4378510468 hasConceptScore W4378510468C28077239 @default.
- W4378510468 hasConceptScore W4378510468C33923547 @default.
- W4378510468 hasConceptScore W4378510468C41008148 @default.
- W4378510468 hasConceptScore W4378510468C42747912 @default.
- W4378510468 hasConceptScore W4378510468C54884031 @default.
- W4378510468 hasLocation W43785104681 @default.
- W4378510468 hasOpenAccess W4378510468 @default.
- W4378510468 hasPrimaryLocation W43785104681 @default.
- W4378510468 hasRelatedWork W1611376777 @default.
- W4378510468 hasRelatedWork W1701381474 @default.
- W4378510468 hasRelatedWork W2046475951 @default.
- W4378510468 hasRelatedWork W2106461132 @default.
- W4378510468 hasRelatedWork W2608776937 @default.
- W4378510468 hasRelatedWork W2952820552 @default.
- W4378510468 hasRelatedWork W4294039834 @default.
- W4378510468 hasRelatedWork W4309302570 @default.
- W4378510468 hasRelatedWork W4316193833 @default.
- W4378510468 hasRelatedWork W4375947497 @default.
- W4378510468 isParatext "false" @default.
- W4378510468 isRetracted "false" @default.
- W4378510468 workType "article" @default.