Matches in SemOpenAlex for { <https://semopenalex.org/work/W1925841652> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1925841652 endingPage "228" @default.
- W1925841652 startingPage "215" @default.
- W1925841652 abstract "Furber and Jacobs have shown in their study of quantum computation that the category of commutative C*-algebras and PU-maps (positive linear maps which preserve the unit) is isomorphic to the Kleisli category of a comonad on the category of commutative C*-algebras with MIU-maps (linear maps which preserve multiplication, involution and unit). [Furber and Jacobs, 2013] In this paper, we prove a non-commutative variant of this result: the category of C*-algebras and PU-maps is isomorphic to the Kleisli category of a comonad on the subcategory of MIU-maps. A variation on this result has been used to construct a model of Selinger and Valiron's quantum lambda calculus using von Neumann algebras. [Cho and Westerbaan, 2016]" @default.
- W1925841652 created "2016-06-24" @default.
- W1925841652 creator A5065717717 @default.
- W1925841652 date "2017-01-01" @default.
- W1925841652 modified "2023-09-27" @default.
- W1925841652 title "Quantum Programs as Kleisli Maps" @default.
- W1925841652 cites W1908473049 @default.
- W1925841652 cites W1943738882 @default.
- W1925841652 cites W2072718083 @default.
- W1925841652 cites W2074676574 @default.
- W1925841652 cites W2120713972 @default.
- W1925841652 cites W4247494971 @default.
- W1925841652 cites W5487828 @default.
- W1925841652 doi "https://doi.org/10.4204/eptcs.236.14" @default.
- W1925841652 hasPublicationYear "2017" @default.
- W1925841652 type Work @default.
- W1925841652 sameAs 1925841652 @default.
- W1925841652 citedByCount "7" @default.
- W1925841652 countsByYear W19258416522015 @default.
- W1925841652 countsByYear W19258416522016 @default.
- W1925841652 countsByYear W19258416522019 @default.
- W1925841652 countsByYear W19258416522020 @default.
- W1925841652 countsByYear W19258416522022 @default.
- W1925841652 crossrefType "journal-article" @default.
- W1925841652 hasAuthorship W1925841652A5065717717 @default.
- W1925841652 hasBestOaLocation W19258416521 @default.
- W1925841652 hasConcept C118615104 @default.
- W1925841652 hasConcept C136119220 @default.
- W1925841652 hasConcept C183778304 @default.
- W1925841652 hasConcept C202444582 @default.
- W1925841652 hasConcept C2780617661 @default.
- W1925841652 hasConcept C33923547 @default.
- W1925841652 hasConcept C80469333 @default.
- W1925841652 hasConceptScore W1925841652C118615104 @default.
- W1925841652 hasConceptScore W1925841652C136119220 @default.
- W1925841652 hasConceptScore W1925841652C183778304 @default.
- W1925841652 hasConceptScore W1925841652C202444582 @default.
- W1925841652 hasConceptScore W1925841652C2780617661 @default.
- W1925841652 hasConceptScore W1925841652C33923547 @default.
- W1925841652 hasConceptScore W1925841652C80469333 @default.
- W1925841652 hasLocation W19258416521 @default.
- W1925841652 hasLocation W19258416522 @default.
- W1925841652 hasLocation W19258416523 @default.
- W1925841652 hasLocation W19258416524 @default.
- W1925841652 hasLocation W19258416525 @default.
- W1925841652 hasOpenAccess W1925841652 @default.
- W1925841652 hasPrimaryLocation W19258416521 @default.
- W1925841652 hasRelatedWork W1925841652 @default.
- W1925841652 hasRelatedWork W1954846941 @default.
- W1925841652 hasRelatedWork W2061776474 @default.
- W1925841652 hasRelatedWork W2097049414 @default.
- W1925841652 hasRelatedWork W2584861659 @default.
- W1925841652 hasRelatedWork W2736647170 @default.
- W1925841652 hasRelatedWork W2752557273 @default.
- W1925841652 hasRelatedWork W2914875707 @default.
- W1925841652 hasRelatedWork W2952903033 @default.
- W1925841652 hasRelatedWork W4302064830 @default.
- W1925841652 hasVolume "236" @default.
- W1925841652 isParatext "false" @default.
- W1925841652 isRetracted "false" @default.
- W1925841652 magId "1925841652" @default.
- W1925841652 workType "article" @default.