1 citations · 2 across the 6 of their papers we have counts for
4 papers · 1 filter
From Moore-Penrose to Markov via Gauss
Cole Comfort, Jean-Simon Pacaud Lemay
Markov categories are the central framework for categorical probability theory. Many important concepts from probability theory can be formalized in terms of Markov categories. In…
Dagger linear logic and categorical quantum mechanics
Priyaa Varshinee Srinivasan
This thesis develops the categorical proof theory for the non-compact multiplicative dagger linear logic, and investigates its applications to Categorical Quantum Mechanics (CQM).…
Distributive Laws, Spans and the ZX-Calculus
Cole Comfort
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…
Sheet diagrams for bimonoidal categories
Cole Comfort, Antonin Delpeuch, Jules Hedges
Bimonoidal categories (also known as rig categories) are categories with two monoidal structures, one of which distributes over the other. We formally define sheet diagrams, a grap…