On quantum information theory via dagger-compact categories:
Relating the ZX-calculus to braided fusion categories for anyon braiding:
On the online proof assistant Globular for higher dimensional rewriting via semistrict globular higher categories:
Last revised on November 11, 2022 at 08:55:03. See the history of this page for a list of all contributions to it.