Matches in SemOpenAlex for { <https://semopenalex.org/work/W3146005005> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W3146005005 endingPage "18" @default.
- W3146005005 startingPage "1" @default.
- W3146005005 abstract "We build upon our recently introduced concept of an update structure to show that it is a generalisation of very-well-behaved lenses, that is, there is a bijection between a strict subset of update structures and vwb lenses in cartesian categories. We show that update structures are also sufficiently general to capture quantum observables, pinpointing the additional assumptions required to make the two coincide. In doing so, we shift the focus from special commutative dagger-Frobenius algebras to interacting (co)magma (co)module pairs, showing that the algebraic properties of the (co)multiplication arise from the module-comodule interaction, rather than direct assumptions about the magma-comagma pair. We then begin to investigate the zoo of possible update structures, introducing the notions of classical security-flagged databases, and databases of quantum systems. This work is of foundational interest as update structures place previously distinct areas of research in a general class of operationally motivated structures, we expect the taming of this class to illuminate novel relationships between separately studied topics in computer science, physics and mathematics." @default.
- W3146005005 created "2021-04-13" @default.
- W3146005005 creator A5009351771 @default.
- W3146005005 creator A5025505921 @default.
- W3146005005 creator A5056706196 @default.
- W3146005005 creator A5083044872 @default.
- W3146005005 date "2020-01-01" @default.
- W3146005005 modified "2023-09-23" @default.
- W3146005005 title "The Safari of Update Structures: Visiting the Lens and Quantum Enclosures." @default.
- W3146005005 hasPublicationYear "2020" @default.
- W3146005005 type Work @default.
- W3146005005 sameAs 3146005005 @default.
- W3146005005 citedByCount "2" @default.
- W3146005005 countsByYear W31460050052020 @default.
- W3146005005 countsByYear W31460050052021 @default.
- W3146005005 crossrefType "journal-article" @default.
- W3146005005 hasAuthorship W3146005005A5009351771 @default.
- W3146005005 hasAuthorship W3146005005A5025505921 @default.
- W3146005005 hasAuthorship W3146005005A5056706196 @default.
- W3146005005 hasAuthorship W3146005005A5083044872 @default.
- W3146005005 hasConcept C118615104 @default.
- W3146005005 hasConcept C120665830 @default.
- W3146005005 hasConcept C120806208 @default.
- W3146005005 hasConcept C121332964 @default.
- W3146005005 hasConcept C127313418 @default.
- W3146005005 hasConcept C136119220 @default.
- W3146005005 hasConcept C154945302 @default.
- W3146005005 hasConcept C165205528 @default.
- W3146005005 hasConcept C182419690 @default.
- W3146005005 hasConcept C183222429 @default.
- W3146005005 hasConcept C183778304 @default.
- W3146005005 hasConcept C192209626 @default.
- W3146005005 hasConcept C202444582 @default.
- W3146005005 hasConcept C24424167 @default.
- W3146005005 hasConcept C2777212361 @default.
- W3146005005 hasConcept C32848918 @default.
- W3146005005 hasConcept C33923547 @default.
- W3146005005 hasConcept C41008148 @default.
- W3146005005 hasConcept C62520636 @default.
- W3146005005 hasConcept C80444323 @default.
- W3146005005 hasConcept C84114770 @default.
- W3146005005 hasConceptScore W3146005005C118615104 @default.
- W3146005005 hasConceptScore W3146005005C120665830 @default.
- W3146005005 hasConceptScore W3146005005C120806208 @default.
- W3146005005 hasConceptScore W3146005005C121332964 @default.
- W3146005005 hasConceptScore W3146005005C127313418 @default.
- W3146005005 hasConceptScore W3146005005C136119220 @default.
- W3146005005 hasConceptScore W3146005005C154945302 @default.
- W3146005005 hasConceptScore W3146005005C165205528 @default.
- W3146005005 hasConceptScore W3146005005C182419690 @default.
- W3146005005 hasConceptScore W3146005005C183222429 @default.
- W3146005005 hasConceptScore W3146005005C183778304 @default.
- W3146005005 hasConceptScore W3146005005C192209626 @default.
- W3146005005 hasConceptScore W3146005005C202444582 @default.
- W3146005005 hasConceptScore W3146005005C24424167 @default.
- W3146005005 hasConceptScore W3146005005C2777212361 @default.
- W3146005005 hasConceptScore W3146005005C32848918 @default.
- W3146005005 hasConceptScore W3146005005C33923547 @default.
- W3146005005 hasConceptScore W3146005005C41008148 @default.
- W3146005005 hasConceptScore W3146005005C62520636 @default.
- W3146005005 hasConceptScore W3146005005C80444323 @default.
- W3146005005 hasConceptScore W3146005005C84114770 @default.
- W3146005005 hasLocation W31460050051 @default.
- W3146005005 hasOpenAccess W3146005005 @default.
- W3146005005 hasPrimaryLocation W31460050051 @default.
- W3146005005 hasRelatedWork W111064260 @default.
- W3146005005 hasRelatedWork W2041452930 @default.
- W3146005005 hasRelatedWork W2042239800 @default.
- W3146005005 hasRelatedWork W2187207018 @default.
- W3146005005 hasRelatedWork W2294683416 @default.
- W3146005005 hasRelatedWork W2615385066 @default.
- W3146005005 hasRelatedWork W2763556869 @default.
- W3146005005 hasRelatedWork W2804716549 @default.
- W3146005005 hasRelatedWork W2900346622 @default.
- W3146005005 hasRelatedWork W2912136959 @default.
- W3146005005 hasRelatedWork W2951763598 @default.
- W3146005005 hasRelatedWork W2952841540 @default.
- W3146005005 hasRelatedWork W2974470238 @default.
- W3146005005 hasRelatedWork W2988100222 @default.
- W3146005005 hasRelatedWork W3001712757 @default.
- W3146005005 hasRelatedWork W3012714140 @default.
- W3146005005 hasRelatedWork W3023386051 @default.
- W3146005005 hasRelatedWork W3094598891 @default.
- W3146005005 hasRelatedWork W3102528294 @default.
- W3146005005 hasRelatedWork W3142662753 @default.
- W3146005005 isParatext "false" @default.
- W3146005005 isRetracted "false" @default.
- W3146005005 magId "3146005005" @default.
- W3146005005 workType "article" @default.