Matches in SemOpenAlex for { <https://semopenalex.org/work/W3128962452> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3128962452 abstract "We modularly build increasingly larger fragments of the ZX-calculus by modularly adding new generators and relations, at each point, giving some concrete semantics in terms of some category of spans. This is performed using Lack's technique of composing props via distributive laws, as well as the technique of pushout cubes of Zanasi. We do this for the fragment of the ZX-calculus with only the black $pi$-phase (and no Hadamard gate) as well as well as the fragment which additionally has the and gate as a generator (which is equivalent to the natural number H-box fragment of the ZH-calculus). In the former case, we show that this is equivalent to the full subcategory of spans of (possibly empty) free, finite dimensional affine $mathbb F_2$-vector spaces, where the objects are the non-empty affine vector spaces. In the latter case, we show that this is equivalent to the full subcategory of spans of finite sets where the objects are powers of the two element set. Because these fragments of the ZX-calculus have semantics in terms of full subcategories of categories of spans, they can not be presented by distributive laws over groupoids. Instead, we first construct their subcategories of partial isomorphisms via distributive laws over all isomorphims with subobjects adjoined. After which, the full subcategory of spans are obtained by freely adjoining units and counits the the semi-Frobenius structures given by the diagonal and codiagonal maps." @default.
- W3128962452 created "2021-02-15" @default.
- W3128962452 creator A5070847248 @default.
- W3128962452 date "2021-02-08" @default.
- W3128962452 modified "2023-09-27" @default.
- W3128962452 title "Distributive Laws, Spans and the ZX-Calculus." @default.
- W3128962452 cites W1514879827 @default.
- W3128962452 cites W1983244685 @default.
- W3128962452 cites W2037775432 @default.
- W3128962452 cites W2057121318 @default.
- W3128962452 cites W2057271907 @default.
- W3128962452 cites W2119180894 @default.
- W3128962452 cites W2146532505 @default.
- W3128962452 cites W2288446724 @default.
- W3128962452 cites W2498979590 @default.
- W3128962452 cites W253306409 @default.
- W3128962452 cites W2798448652 @default.
- W3128962452 cites W2965266081 @default.
- W3128962452 cites W2975965615 @default.
- W3128962452 cites W3086284994 @default.
- W3128962452 cites W3174817955 @default.
- W3128962452 hasPublicationYear "2021" @default.
- W3128962452 type Work @default.
- W3128962452 sameAs 3128962452 @default.
- W3128962452 citedByCount "0" @default.
- W3128962452 crossrefType "posted-content" @default.
- W3128962452 hasAuthorship W3128962452A5070847248 @default.
- W3128962452 hasConcept C11413529 @default.
- W3128962452 hasConcept C11821877 @default.
- W3128962452 hasConcept C118615104 @default.
- W3128962452 hasConcept C121332964 @default.
- W3128962452 hasConcept C13336665 @default.
- W3128962452 hasConcept C136119220 @default.
- W3128962452 hasConcept C163258240 @default.
- W3128962452 hasConcept C202444582 @default.
- W3128962452 hasConcept C2776235265 @default.
- W3128962452 hasConcept C2780617661 @default.
- W3128962452 hasConcept C2780992000 @default.
- W3128962452 hasConcept C33923547 @default.
- W3128962452 hasConcept C62520636 @default.
- W3128962452 hasConcept C92757383 @default.
- W3128962452 hasConceptScore W3128962452C11413529 @default.
- W3128962452 hasConceptScore W3128962452C11821877 @default.
- W3128962452 hasConceptScore W3128962452C118615104 @default.
- W3128962452 hasConceptScore W3128962452C121332964 @default.
- W3128962452 hasConceptScore W3128962452C13336665 @default.
- W3128962452 hasConceptScore W3128962452C136119220 @default.
- W3128962452 hasConceptScore W3128962452C163258240 @default.
- W3128962452 hasConceptScore W3128962452C202444582 @default.
- W3128962452 hasConceptScore W3128962452C2776235265 @default.
- W3128962452 hasConceptScore W3128962452C2780617661 @default.
- W3128962452 hasConceptScore W3128962452C2780992000 @default.
- W3128962452 hasConceptScore W3128962452C33923547 @default.
- W3128962452 hasConceptScore W3128962452C62520636 @default.
- W3128962452 hasConceptScore W3128962452C92757383 @default.
- W3128962452 hasLocation W31289624521 @default.
- W3128962452 hasOpenAccess W3128962452 @default.
- W3128962452 hasPrimaryLocation W31289624521 @default.
- W3128962452 hasRelatedWork W123913009 @default.
- W3128962452 hasRelatedWork W1485278641 @default.
- W3128962452 hasRelatedWork W172653924 @default.
- W3128962452 hasRelatedWork W188444227 @default.
- W3128962452 hasRelatedWork W2004642636 @default.
- W3128962452 hasRelatedWork W2011472833 @default.
- W3128962452 hasRelatedWork W2100133025 @default.
- W3128962452 hasRelatedWork W2114635553 @default.
- W3128962452 hasRelatedWork W2115910140 @default.
- W3128962452 hasRelatedWork W2130695421 @default.
- W3128962452 hasRelatedWork W2137333773 @default.
- W3128962452 hasRelatedWork W2162548412 @default.
- W3128962452 hasRelatedWork W2168616680 @default.
- W3128962452 hasRelatedWork W2189338403 @default.
- W3128962452 hasRelatedWork W2230264051 @default.
- W3128962452 hasRelatedWork W2489630429 @default.
- W3128962452 hasRelatedWork W2736533395 @default.
- W3128962452 hasRelatedWork W2737051025 @default.
- W3128962452 hasRelatedWork W2762781540 @default.
- W3128962452 hasRelatedWork W3097700522 @default.
- W3128962452 isParatext "false" @default.
- W3128962452 isRetracted "false" @default.
- W3128962452 magId "3128962452" @default.
- W3128962452 workType "article" @default.